Nix CI for bundle 8.20

Merge pull request #112 from ana-borges/fset_additions #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
mathcomp	10m 45s
mathcomp-finmap	2m 54s
multinomials	4m 23s
	18m 41s