Merge pull request #207 from hmwildermuth/main #109
main-checks.yml
on: push
checks
/
format
11s
checks
/
typecheck
15s
checks
/
build
11s