Nix CI for bundle master

Simplifications, phase 1 #33

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
mathcomp-bigenough	39s
coq-elpi	40s
bignums	40s
mathcomp-finmap	37s
mathcomp-zify	37s
paramcoq	40s
mathcomp-real-closed	14m 33s
hierarchy-builder	2m 52s
multinomials	10m 6s
mathcomp-algebra-tactics	9m 49s
mathcomp	3m 6s
coqeal	3m 26s
mathcomp-apery	10m 0s
	58m 20s