CI

Fix issue Failure to prove functional induction #577 #614

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build (dev, 4.09-flambda, local)	2m 59s
build (dev, 4.09-flambda, hott)	4m 10s
build (dev, 4.09-flambda, dune)	4m 10s
	11m 19s