Check for stage0 changes

chore: unify `String.csize : Nat` and `Char.utf8Size : UInt32` as `Char.size : Nat` #1272

Sign in to view logs

Triggered via pull request June 10, 2024 23:43

kim-em

synchronize #4357

Char.size

Status Success

Total duration 38s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue