MetaCoq CI

CI stop testing ocaml 4.09 (equations needs >= 4.10 now) #2972

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checktodos	3s
build (dev, 4.14-flambda, opam)	28m 55s
build (dev, 4.14-flambda, local)	28m 58s
	57m 56s