Nix CI for bundle coq8.16+mcmathcomp-2.1.0

Merge pull request #91 from proux01/mc_1201 #17

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	29s
mathcomp-bigenough	31s
mathcomp-real-closed	33s
mathcomp-abel	32s
	2m 5s