Nix CI for bundle coq8.20+mcmathcomp-2.3.0

Merge pull request #97 from proux01/no-stdlib #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
mathcomp-bigenough	4m 22s
mathcomp-real-closed	10m 3s
mathcomp-abel	3m 16s
	18m 22s