Nix CI for bundle master

add CI for MathComp 2.2.0 (#70) #39

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	1m 2s
reglang	1m 14s
coq-elpi	1m 1s
hierarchy-builder	1m 8s
mathcomp	1m 7s
	5m 32s