Nix CI for bundle 9.0

Merge pull request #69 from proux01/no-stdlib #3

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
coq-elpi	38s
mathcomp-finmap	1m 24s
mathcomp-bigenough	1m 11s
mathcomp-zify	1m 32s
hierarchy-builder	43s
mathcomp-real-closed	2m 11s
multinomials	2m 3s
mathcomp-algebra-tactics	1m 32s
mathcomp	38s
coqeal	3m 42s
mathcomp-abel	2m 57s
mathcomp-apery	8m 11s
	27m 19s