Nix CI for bundle master

fixes #1052 (renaming in `sequences.v`) #1994

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 19s
coq-elpi	2m 13s
mathcomp-finmap	1m 26s
mathcomp-bigenough	2m 46s
mathcomp	7m 37s
hierarchy-builder	28s
mathcomp-analysis	10m 1s
mathcomp-analysis-single	13m 20s
	42m 10s