MetaCoq CI

Adapt WcbvEvalNamed to primitives (new values) #2552

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checktodos	5s
build (8.17, 4.14-flambda, local)	26m 13s
build (8.17, 4.14-flambda, opam)	29m 51s
	56m 9s