CI

Adapt to coq PR #18190 adding a whd form of the cbv reduction strategy #1202

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
play	12m 15s
build (8.18, 4.09-flambda)	3m 53s
build (8.18, 4.13-flambda)	3m 37s
release	0s
	19m 45s