MetaCoq CI

Merge pull request #985 from MetaCoq/improve-strengthening #2388

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checktodos	5s
build (8.17, 4.14-flambda, local)	45m 38s
build (8.17, 4.14-flambda, quick)	34m 13s
build (8.17, 4.14-flambda, opam)	1h 5m 2s
	2h 24m 58s