Skip to content
.github/workflows/main.yml

Refactor, and prove some lemmas in various places to strengthen a res… #3380

Sign in to view logs

Refactor, and prove some lemmas in various places to strengthen a res…

Refactor, and prove some lemmas in various places to strengthen a res… #3380

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typechecking
21s
Typechecking
21m 34s
21m 55s