CI Build UniMath #117

Job	Run time
Build on Linux (Coq dev)	52m 53s
Build on Linux (Coq latest)	1m 44s
Build SetHITs (Coq latest)	1m 40s
Sanity Checks	58s
Build largecatmodules (Coq latest)	1m 54s
Build SetHITs (Coq dev)	3m 17s
Build largecatmodules (Coq dev)	3m 25s
Build Schools (Coq dev)	3m 2s
Build GrpdHITs (Coq latest)	1m 51s
Build TypeTheory (Coq dev)	3m 58s
Build TypeTheory (Coq latest)	1m 47s
Build GrpdHITs (Coq dev)	16m 52s
Build Schools (Coq latest)	1m 58s
Rocqdoc	1m 53s
Assemble the site	27s
	1h 37m 39s

Provide feedback