Nix CI for bundle master

Clean up the `Require Import` lists #45

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	3m 56s
mathcomp-bigenough	4m 48s
bignums	1m 20s
coq-elpi	1m 25s
mathcomp-finmap	4m 24s
mathcomp-zify	7m 26s
paramcoq	35s
hierarchy-builder	42s
mathcomp-real-closed	8m 17s
multinomials	4m 19s
mathcomp	6m 10s
mathcomp-algebra-tactics	37s
coqeal	3m 9s
mathcomp-abel	3m 8s
mathcomp-apery	6m 57s
	57m 13s