Merge main to nightly

refactor: rename theorems about `Char.utf8Size` (#901) #402

Sign in to view logs

Triggered via push August 1, 2024 05:52

kim-em

main

Status Success

Total duration 10s

Artifacts –

nightly_merge_master.yml

on: push

merge-to-nightly