Skip to content

CI

CI #83

Annotations

9 warnings

Build Schools on Linux (Coq latest)

succeeded Oct 31, 2024 in 3m 28s
Set up job
2s
Build coq-community/docker-coq-action@v1
5s
Checkout UniMath.
2s
Checkout Schools.
1s
Load cache
2s
Build Schools
3m 12s
Revert permissions
0s
Save cache
3s
Post Checkout Schools.
0s
Post Checkout UniMath.
0s
Complete job
0s