Nix CI for bundle master

Clean up the `Require Import` lists #41

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 18s
bignums	1m 21s
coq-elpi	2m 36s
mathcomp-finmap	6m 12s
mathcomp-bigenough	5m 59s
mathcomp-zify	9m 23s
paramcoq	1m 3s
hierarchy-builder	1m 12s
mathcomp	12m 20s
mathcomp-real-closed	7m 34s
multinomials	4m 46s
mathcomp-algebra-tactics	1m 34s
mathcomp-abel	0s
coqeal	0s
mathcomp-apery	0s
	58m 18s