Nix CI for bundle coq-8.19

Generalized coercions #30

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	32s
mathcomp-single	32s
hierarchy-builder	1m 14s
mathcomp-ssreflect	8m 17s
deriving	1m 18s
mathcomp-fingroup	2m 43s
mathcomp-bigenough	39s
mathcomp-finmap	35s
reglang	31s
mathcomp-algebra	6m 57s
coq-bits	38s
fourcolor	20m 20s
multinomials	3m 8s
mathcomp-solvable	5m 13s
mathcomp-field	7m 7s
mathcomp-character	4m 50s
mathcomp-real-closed	3m 42s
coqeal	2m 53s
mathcomp	41s
odd-order	28m 23s
	1h 40m 13s