MetaCoq CI

Merge pull request #1014 from MetaCoq/transform-extends-split #2504

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checktodos	4s
build (8.17, 4.14-flambda, local)	27m 43s
build (8.17, 4.14-flambda, opam)	28m 54s
	56m 41s