Check PR title for commit convention

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

Sign in to view logs

Triggered via pull request June 10, 2024 23:52

kim-em

synchronize #4357

Char.size

Status Success

Total duration 12s

Artifacts –

pr-title.yml

on: pull_request