Skip to content
CI Build UniMath

CI Build UniMath #23

Sign in to view logs

CI Build UniMath

CI Build UniMath #23

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build on macOS (latest Coq on Homebrew)
41s
Sanity Checks
33s
Build SetHITs (Coq latest)
1m 40s
Build on Linux (Coq latest)
3m 33s
Build SetHITs (Coq dev)
2m 39s
Build on Linux (Coq dev)
42m 39s
Build largecatmodules (Coq latest)
1m 38s
Build largecatmodules (Coq dev)
3m 33s
Build GrpdHITs (Coq latest)
1m 43s
Build GrpdHITs (Coq dev)
15m 58s
Build TypeTheory (Coq latest)
1m 39s
Build TypeTheory (Coq dev)
3m 41s
1h 19m 57s