Nix CI for bundle 8.20

Adapt to https://github.com/math-comp/math-comp/pull/1354 #20

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
mathcomp-bigenough	46s
mathcomp-zify	41s
coq-elpi	40s
mathcomp-finmap	40s
hierarchy-builder	44s
mathcomp-algebra-tactics	40s
multinomials	40s
mathcomp-real-closed	2m 42s
mathcomp	40s
mathcomp-abel	4m 14s
coqeal	4m 15s
mathcomp-apery	6m 59s
	24m 20s