Nix CI for bundle coq8.18+mcmathcomp-2.1.0

Adapt to https://github.com/math-comp/math-comp/pull/1223 #21

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
mathcomp-bigenough	40s
mathcomp-real-closed	37s
mathcomp-abel	3m 12s
	5m 8s