CI

Merge pull request #643 from LPCIC/fix-makefile #1556

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.19, 4.14-flambda)	4m 6s
play	8m 38s
build (8.20, 4.14-flambda)	6m 35s
build (dev, 4.14-flambda)	6m 27s
release	0s
	25m 46s