Nix CI for bundle rocq-9.0

Merge pull request #103 from proux01/ci-update #3

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
multinomials	5m 51s
stdlib	37s
bignums	41s
coq-elpi	39s
hierarchy-builder	45s
mathcomp-ssreflect	39s
mathcomp-bigenough	43s
mathcomp-finmap	44s
mathcomp-algebra	3m 9s
mathcomp-field	3m 56s
mathcomp-zify	1m 34s
mathcomp-algebra-tactics	1m 34s
mathcomp	2m 25s
mathcomp-real-closed	2m 11s
coqeal	2m 47s
mathcomp-apery	6m 41s
	35m 38s