Nix CI for bundle 8.16

Merge pull request #56 from proux01/ci_update #19

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	40s
mathcomp	33s
mathcomp-real-closed	34s
coqeal	41s
mathcomp-apery	38s
	3m 6s