CI

Merge pull request #789 from SkySkimmer/genarg-ntn-vars #174

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker (rocq/rocq-prover:9.0)	5m 19s
docker (rocq/rocq-prover:dev)	5m 20s
docker (coqorg/coq:8.20)	4m 1s
	14m 40s