Coq Build

Merge pull request #44 from inQWIRE/fix/pre-commit-stash-issue #102

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.16, default)	20m 46s
build (8.17, default)	19m 17s
build (8.18, default)	21m 25s
	1h 1m 28s