Nix CI for bundle coq8.16+mcmathcomp-2.1.0

Merge pull request #93 from pi8027/archimedean #32

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
mathcomp-bigenough	34s
mathcomp-real-closed	42s
mathcomp-abel	12m 49s
	14m 42s