CI Build UniMath #29

Job	Run time
Sanity Checks	29s
Build SetHITs (Coq latest)	1m 39s
Build on Linux (Coq latest)	1m 47s
Build SetHITs (Coq dev)	3m 9s
Build on macOS (latest Coq on Homebrew)	1h 12m 42s
Build on Linux (Coq dev)	49m 59s
Build largecatmodules (Coq latest)	1m 35s
Build on Linux (Coq 8.19)	1m 33s
Build largecatmodules (Coq dev)	3m 35s
Build on Linux (Coq 8.20)	1m 43s
Build GrpdHITs (Coq latest)	1m 34s
Build GrpdHITs (Coq dev)	16m 13s
Build TypeTheory (Coq latest)	3m 22s
Build TypeTheory (Coq dev)	3m 56s
Build Schools (Coq latest)	1m 37s
Build Schools (Coq dev)	3m 0s
	2h 47m 53s

Provide feedback