Build on Linux

Update letop-punning tests, add note to CONTRIBUTING #1143

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-linux (4.14.x)	2m 23s
test-branch (conventional)	3m 19s
test-branch (ocamlformat)	3m 21s
test-branch (janestreet)	3m 4s
	12m 7s