build

Improved global deadcode elimination #2941

Job	Run time
lint-fmt	6m 10s
build (ubuntu-latest, 4.08, true, true, true)	7m 38s
build (ubuntu-latest, 4.09, true, true, true)	7m 1s
lint-opam	7m 44s
lint-runtime	8s
build (ubuntu-latest, 4.10, true, true, true)	6m 45s
build (ubuntu-latest, 4.11, true, true, true)	6m 40s
build (ubuntu-latest, 4.12, true, true, true)	7m 9s
build (ubuntu-latest, 4.13, true, true, true)	6m 30s
build (ubuntu-latest, 5.0, true, true, true)	7m 11s
build (ubuntu-latest, 5.1, true, true, true)	3m 38s
build (ubuntu-latest, 4.14, true, false, true)	7m 17s
build (macos-latest, 4.14, true, false, true)	12m 25s
build (windows-latest, 4.14, true, false, true)	17m 2s
build (ubuntu-latest, 5.2, false, false, false)	7m 41s
build (macos-latest, 5.2, true, false, true)	14m 41s
build (windows-latest, 5.2, false, false, true)	20m 18s
	2h 25m 58s

Provide feedback