Merge pull request #86 from SpiNNakerManchester/no-more-rig #202

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.8)	2m 4s
build (3.9)	1m 39s
build (3.10)	1m 37s
build (3.11)	1m 15s
	6m 35s