Classify short exact sequences by maps of Eilenberg-Mac Lane spaces #4199

Job	Run time
doc-alectryon	7m 53s
nix	2m 52s
quick-build (9.1, ubuntu-latest)	3m 52s
quick-build (9.2, ubuntu-latest)	3m 38s
opam-build (dev, ubuntu-latest)	4m 41s
build (9.1)	4m 0s
quick-build (9.0, ubuntu-latest)	3m 52s
build (9.2)	4m 9s
build (dev, --warnings)	4m 14s
opam-build (9.0, ubuntu-latest)	5m 27s
opam-build (9.2, ubuntu-latest)	4m 51s
build (9.0)	3m 53s
opam-build (9.1, ubuntu-latest)	5m 0s
quick-build (dev, ubuntu-latest)	3m 45s
doc-coqdoc	1m 18s
doc-dep-graphs	7m 47s
install (9.1)	1m 47s
install (9.2)	1m 34s
coqchk (dev)	1m 56s
coqchk (9.0)	1m 51s
install (9.0)	1m 38s
install (dev)	2m 4s
coqchk (9.1)	2m 3s
coqchk (9.2)	2m 48s
doc-timing	1m 42s
delete-artifacts	8s
deploy-doc	0s
	1h 28m 43s

Provide feedback