Nix CI for bundle coq-dev

Merge pull request #975 from herbelin/master+adapt-coq-pr17991-refold… #58

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
equations	34s
metacoq	38s
	1m 47s