CI Build UniMath #298

Job	Run time
Sanity Checks	50s
Build SetHITs (Coq latest)	4m 16s
Build on Linux (Coq latest)	1h 41m 36s
Build SetHITs (Coq dev)	1m 20s
Build on macOS (latest Coq on Homebrew)	1h 13m 9s
Build on Linux (Coq dev)	1m 24s
Build largecatmodules (Coq latest)	7m 37s
Build on Linux (Coq 8.19)	1h 39m 22s
Build largecatmodules (Coq dev)	1m 28s
Build on Linux (Coq 8.20)	1h 41m 27s
Build GrpdHITs (Coq latest)	34m 12s
Build GrpdHITs (Coq dev)	1m 20s
Build TypeTheory (Coq latest)	3m 50s
Build TypeTheory (Coq dev)	1m 19s
Build Schools (Coq latest)	3m 17s
Build Schools (Coq dev)	1m 19s
	7h 17m 46s

Provide feedback