MetaRocq CI

Adapt to https://github.com/rocq-prover/stdlib/pull/207 #3171

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (dev, 4.14-flambda, local)	15m 46s
build (dev, 4.14-flambda, opam)	15m 58s
checktodos	0s
	31m 44s