Nix CI for bundle 9.0

Merge pull request #81 from math-comp/mc1433 #41

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-core	2m 7s
coq	50s
coq-elpi	50s
mathcomp-real-closed	50s
hierarchy-builder	52s
coqeal	2m 57s
mathcomp	45s
	9m 11s