Build on Linux

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-linux (4.14.x)	2m 18s
test-branch (janestreet)	3m 12s
test-branch (conventional)	3m 25s
test-branch (ocamlformat)	3m 23s
	12m 18s