Nix CI for bundle 8.18+2.0

Merge pull request #56 from coq-community/remove-mathcomp-dev-8.17-do… #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	32s
mathcomp-finmap	34s
fourcolor	33s
graph-theory	31s
	2m 10s