Merge pull request #176 from sheffler/fixFirstProgressReport #93
main-checks.yml
on: push
checks
/
format
7s
checks
/
typecheck
17s
checks
/
build
15s