Nix CI for bundle 8.20

Merge pull request #71 from proux01/opam #17

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
coq-elpi	38s
mathcomp-finmap	1m 31s
mathcomp-bigenough	40s
mathcomp-zify	38s
hierarchy-builder	40s
mathcomp-real-closed	2m 31s
mathcomp-algebra-tactics	44s
multinomials	2m 11s
mathcomp	39s
mathcomp-abel	3m 6s
coqeal	3m 10s
mathcomp-apery	7m 4s
	24m 9s