Nix CI for bundle coq8.19+mcmathcomp-2.2.0

Merge pull request #93 from pi8027/archimedean #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	33s
mathcomp-bigenough	33s
mathcomp-real-closed	39s
mathcomp-abel	35s
	2m 20s