Nix CI for bundle master

fixes #1248 (`to_set` / `xsection`) (#1249) #2654

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	4m 7s
mathcomp-finmap	3m 54s
mathcomp-bigenough	3m 41s
coq-elpi	1m 34s
hierarchy-builder	44s
mathcomp	9m 51s
mathcomp-analysis	15m 6s
mathcomp-analysis-single	14m 37s
	53m 34s