Skip to content
.github/workflows/main.yml

make the whole repository typecheck and minor tweeks #3479

Sign in to view logs

make the whole repository typecheck and minor tweeks

make the whole repository typecheck and minor tweeks #3479

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typechecking
2m 12s
2m 12s