CI Build UniMath #18

Job	Run time
Build on macOS (Coq 8.16)	2m 25s
Build on Linux (Coq latest)	1h 18m 58s
Build SetHITs (Coq latest)	2m 41s
Sanity Checks	35s
Build on Linux (Coq dev)	1h 16m 58s
Build SetHITs (Coq dev)	2m 47s
Build largecatmodules (Coq latest)	6m 48s
Build largecatmodules (Coq dev)	6m 47s
Build GrpdHITs (Coq latest)	32m 16s
Build TypeTheory (Coq latest)	3m 5s
Build TypeTheory (Coq dev)	3m 4s
	3h 36m 24s

Provide feedback