CI

Merge pull request #552 from LPCIC/fix-win #1240

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
play	12m 23s
build (8.18, 4.09-flambda)	5m 26s
build (8.18, 4.13-flambda)	5m 33s
release	0s
	23m 22s