CI

Merge pull request #740 from ppedrot/module-remove-modpath #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker (coqorg/coq:dev)	7m 2s
docker (coqorg/coq:8.20.0)	3m 34s
	10m 36s