CI Build UniMath #25

Job	Run time
Build on Linux (Coq latest)	2m 47s
Build SetHITs (Coq latest)	1m 7s
Build on Linux (Coq dev)	1h 15m 36s
Sanity Checks	35s
Build on macOS (Coq 8.16)	3m 18s
Build SetHITs (Coq dev)	2m 59s
Build largecatmodules (Coq latest)	1m 10s
Build largecatmodules (Coq dev)	6m 52s
Build GrpdHITs (Coq latest)	1m 28s
Build TypeTheory (Coq latest)	1m 11s
Build TypeTheory (Coq dev)	3m 12s
	1h 40m 15s

Provide feedback