Check for modules that should use `prelude`

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

Sign in to view logs

Triggered via pull request June 10, 2024 23:43

kim-em

synchronize #4357

Char.size

Status Success

Total duration 16s

Artifacts –

check-prelude.yml

on: pull_request