MetaCoq CI

Correcting the definition of noccur_between in Template – main branch #2771

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checktodos	3s
build (dev, 4.14-flambda, local)	34m 11s
build (dev, 4.09-flambda, local)	35m 8s
build (dev, 4.09-flambda, opam)	35m 13s
build (dev, 4.14-flambda, opam)	34m 12s
	2h 18m 47s