Skip to content
Compile blueprint

Prove some sorrys, update Mathlib #190

Sign in to view logs

Prove some sorrys, update Mathlib

Prove some sorrys, update Mathlib #190

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
1h 4m 1s
1h 4m 1s