Coq Build

Merge pull request #47 from inQWIRE/feature-prop-constant #124

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.16, default)	15m 56s
build (8.17, default)	15m 4s
build (8.18, default)	14m 16s
	45m 16s