MetaCoq CI

Update documentation in common/Environment.ml for inductive and constant declarations #2927

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checktodos	2s
build (dev, 4.09-flambda, local)	30m 9s
build (dev, 4.14-flambda, local)	29m 1s
build (dev, 4.09-flambda, opam)	31m 13s
build (dev, 4.14-flambda, opam)	28m 53s
	1h 59m 18s