CI

Merge pull request #602 from mattam82/remove-below-db-use-rec_decision #588

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (dev, 4.09-flambda, local)	2m 47s
build (dev, 4.09-flambda, hott)	4m 18s
build (dev, 4.09-flambda, dune)	4m 7s
	11m 12s