Merge branch 'v0.9.x' #14
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
main-checks.yml
on: push
checks
/
format
10s
checks
/
typecheck
18s
checks
/
build
8s