MetaCoq CI

Merge pull request #956 from JasonGross/coq-8.16+timing #2717

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checktodos	5s
build (8.16, 4.14-flambda, local)	28m 16s
build (8.16, 4.14-flambda, opam)	29m 9s
build (8.16, 4.14-flambda, quick)	17m 36s
	1h 15m 6s