Nix CI for bundle master

Clean up the `Require Import` lists #46

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 3s
mathcomp-bigenough	4m 42s
coq-elpi	1m 24s
bignums	1m 23s
mathcomp-finmap	5m 2s
mathcomp-zify	7m 53s
paramcoq	1m 1s
hierarchy-builder	39s
mathcomp-real-closed	8m 17s
multinomials	4m 15s
mathcomp	6m 27s
mathcomp-algebra-tactics	1m 26s
mathcomp-abel	3m 7s
coqeal	3m 13s
mathcomp-apery	6m 53s
	59m 45s