CI Build UniMath #32

Job	Run time
Build on macOS (latest Coq on Homebrew)	54s
Build on Linux (Coq latest)	1m 23s
Build SetHITs (Coq latest)	1m 19s
Sanity Checks	29s
Build on Linux (Coq dev)	1m 37s
Build SetHITs (Coq dev)	1m 23s
Build on Linux (Coq 8.19)	1m 33s
Build largecatmodules (Coq latest)	1m 24s
Build on Linux (Coq 8.20)	1m 28s
Build largecatmodules (Coq dev)	1m 30s
Build GrpdHITs (Coq latest)	1m 20s
Build GrpdHITs (Coq dev)	1m 22s
Build TypeTheory (Coq latest)	1m 18s
Build TypeTheory (Coq dev)	1m 31s
Build Schools (Coq latest)	1m 18s
Build Schools (Coq dev)	1m 22s
	21m 11s

Provide feedback