Nix CI for bundle 8.20

Generalize fsfun_injective_inP to arbitrary functions. #41

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	45s
mathcomp	42s
mathcomp-finmap	1m 32s
multinomials	2m 28s
	5m 27s