Nix CI for bundle 8.19

Merge pull request #49 from 4ever2/mathcomp-2.3.0 #15

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
mathcomp	36s
mathcomp-analysis	12m 20s
ssprove	21m 2s
	34m 39s