CI Build UniMath #27

Job	Run time
Build on macOS (Coq 8.16)	2h 0m 40s
Sanity Checks	1m 4s
Build on Linux (Coq latest)	2m 57s
Build SetHITs (Coq latest)	1m 8s
Build on Linux (Coq dev)	1h 17m 30s
Build SetHITs (Coq dev)	2m 59s
Build largecatmodules (Coq latest)	1m 12s
Build largecatmodules (Coq dev)	6m 54s
Build GrpdHITs (Coq latest)	1m 15s
Build TypeTheory (Coq latest)	1m 14s
Build TypeTheory (Coq dev)	3m 16s
	3h 40m 9s

Provide feedback