Back to pull request #388

prepare release #28

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
mathcomp-single	36s
coq-elpi	30s
hierarchy-builder-shim	36s
hierarchy-builder	31s
mathcomp-single-planB-src	30s
mathcomp-ssreflect	31s
mathcomp-fingroup	30s
mathcomp-finmap	42s
reglang	39s
mathcomp-algebra	46s
fourcolor	32s
coq-bits	39s
mathcomp-solvable	30s
mathcomp-field	41s
mathcomp-character	3m 25s
mathcomp	43s
odd-order	41s
	13m 43s