Nix CI for bundle coq8.20+mcmathcomp-2.3.0

Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
mathcomp-bigenough	42s
mathcomp-real-closed	2m 40s
mathcomp-abel	4m 26s
	8m 29s