Nix CI for bundle coq-master

CI less #117

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 4s
coq	1m 4s
stdlib-html	3m 55s
stdlib-html	3m 55s
stdlib-refman-html	4m 2s
stdlib-refman-html	4m 2s
stdlib-subcomponents	4m 21s
stdlib-subcomponents	4m 21s
stdlib-test	6m 16s
stdlib-test	6m 16s
stdlib	3m 50s
stdlib	3m 50s
aac-tactics	1m 33s
aac-tactics	1m 52s
bignums	2m 20s
bignums	2m 20s
atbr	1m 49s
atbr	1m 52s
coqutil	3m 39s
coqutil	2m 7s
equations	1m 9s
equations	1m 56s
kami	1m 18s
kami	2m 12s
rewriter	1m 10s
rewriter	1m 48s
mathcomp-ssreflect	58s
mathcomp-ssreflect	1m 5s
sf	1m 40s
sf	2m 14s
stalmarck	1m 25s
stalmarck	2m 1s
tlc	1m 24s
tlc	1m 46s
mathcomp	0s
mathcomp	0s
equations-test	0s
equations-test	58s
stalmarck-tactic	0s
stalmarck-tactic	52s
relation-algebra	0s
relation-algebra	0s
coqprime	3m 10s
coqprime	3m 10s
math-classes	2m 24s
math-classes	1m 59s
riscvcoq	0s
riscvcoq	0s
bedrock2	0s
bedrock2	0s
rupicola	0s
rupicola	0s
corn	0s
corn	0s
	1h 39m 7s