CI Build UniMath #262

Job	Run time
Build on macOS (latest Coq on Homebrew)	44s
Sanity Checks	35s
Build on Linux (Coq latest)	4m 5s
Build SetHITs (Coq latest)	4m 36s
Build on Linux (Coq 8.20)	1h 29m 39s
Build SetHITs (Coq 8.20)	3m 19s
Build on Linux (Coq dev)	44m 37s
Build SetHITs (Coq dev)	2m 50s
Build largecatmodules (Coq latest)	8m 18s
Build largecatmodules (Coq 8.20)	7m 44s
Build largecatmodules (Coq dev)	4m 39s
Build GrpdHITs (Coq latest)	33m 59s
Build GrpdHITs (Coq 8.20)	33m 11s
Build GrpdHITs (Coq dev)	16m 36s
Build TypeTheory (Coq latest)	5m 5s
Build TypeTheory (Coq 8.20)	3m 35s
Build TypeTheory (Coq dev)	4m 27s
	4h 27m 59s

Provide feedback