Nix CI for bundle coq-8.19

fix cat #103

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
hierarchy-builder	1m 19s
mathcomp-ssreflect	5m 52s
mathcomp-single	9m 1s
coquelicot	6m 4s
autosubst	5m 26s
deriving	6m 14s
mathcomp-bigenough	5m 31s
QuickChick	6m 17s
mathcomp-fingroup	6m 12s
mathcomp-finmap	5m 40s
reglang	5m 55s
async-test	1m 23s
mathcomp-algebra	4m 37s
interval	2m 35s
http	1m 45s
vcfloat	3m 15s
mathcomp-solvable	6m 10s
coq-bits	4m 51s
mathcomp-classical	7m 32s
multinomials	5m 41s
fourcolor	16m 31s
mathcomp-field	5m 17s
mathcomp-real-closed	5m 2s
mathcomp-character	5m 16s
mathcomp-analysis	15m 24s
coqeal	3m 46s
mathcomp	2m 59s
odd-order	12m 35s
	2h 48m 44s