CI Build UniMath #124

Job	Run time
Sanity Checks	53s
Build on Linux (Coq latest)	1m 31s
Build on Linux (Coq dev)	53m 16s
Build Schools (Coq latest)	1m 53s
Build GrpdHITs (Coq latest)	1m 46s
Build TypeTheory (Coq latest)	1m 25s
Build SetHITs (Coq dev)	3m 9s
Build SetHITs (Coq latest)	1m 41s
Build TypeTheory (Coq dev)	3m 50s
Build largecatmodules (Coq latest)	1m 56s
Build largecatmodules (Coq dev)	3m 49s
Build Schools (Coq dev)	2m 51s
Build GrpdHITs (Coq dev)	16m 23s
Rocqdoc	1m 49s
Assemble the site	26s
	1h 36m 38s

Provide feedback