CI

Merge pull request #539 from LPCIC/fix-nix2 #1225

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
play	10m 10s
build (8.18, 4.09-flambda)	8m 24s
build (8.18, 4.13-flambda)	6m 28s
release	0s
	25m 2s