Remove Show Proof in InfiniteToFinite.v #876
Run and billable time
Learn about OS pricing on GitHub ActionsJob | Run time | Billable time |
---|---|---|
54m 46s | 0s | |
1h 16m 37s | 0s | |
2h 11m 23s | 0s |
Job | Run time | Billable time |
---|---|---|
54m 46s | 0s | |
1h 16m 37s | 0s | |
2h 11m 23s | 0s |