Nix CI for bundle coq-master

CI less #116

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
stdlib-html	3m 51s
coq	1m 6s
stdlib-refman-html	4m 0s
stdlib-subcomponents	4m 9s
stdlib-test	6m 24s
stdlib	3m 46s
coq-elpi	2m 35s
smtcoq-trakt	1m 6s
hierarchy-builder	2m 19s
mathcomp-ssreflect	4m 25s
mathcomp-fingroup	3m 1s
mathcomp-algebra	5m 14s
mathcomp	9m 24s
mathcomp-word	4m 40s
jasmin	8m 6s
	1h 4m 6s