CI Build UniMath #16

Job	Run time
Build SetHITs (Coq latest)	3m 48s
Build SetHITs (Coq dev)	3m 57s
Build on Linux (Coq latest)	1h 18m 23s
Sanity Checks	1m 8s
Build on macOS (Coq 8.16)	1h 51m 59s
Build largecatmodules (Coq latest)	7m 28s
Build on Linux (Coq dev)	1h 16m 45s
Build largecatmodules (Coq dev)	7m 18s
Build GrpdHITs (Coq latest)	33m 47s
Build TypeTheory (Coq latest)	4m 26s
Build TypeTheory (Coq dev)	4m 36s
	5h 33m 35s

Provide feedback