Build

Make the DM gunner optional; disable it on some machines. #1559

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, simh)	1h 30m 49s
build (ubuntu-22.04, klh10)	1h 53m 27s
build (ubuntu-22.04, pdp10-ka)	2h 2m 5s
build (ubuntu-22.04, pdp10-kl)	2h 27m 48s
build (ubuntu-22.04, pdp10-ks)	1h 54m 48s
build (ubuntu-22.04, simhv3)	1h 18m 27s
	11h 7m 24s