SpiNNakerManchester / SpiNNMan / 831568348

Builds Branch Commit Type Ran Committer Via Coverage
831568348 config2 merged in master push Christian Y. Brenninkmeijer github pending completion   set done
831217675 master Merge pull request #248 from SpiNNakerManchester/fix-sphinx-properly push GitHub github pending completion   set done
831203134 fix-sphinx-properly minus -q push Christian Y. Brenninkmeijer github pending completion   set done
830889402 config2 merged in master push Christian Y. Brenninkmeijer github pending completion   set done
830836182 master Merge pull request #246 from SpiNNakerManchester/fix-sphinx-properly push GitHub github pending completion   set done
830755232 config2 ignore_bad_ethernets, repair_machine pushed down push Christian Y. Brenninkmeijer github pending completion   set done
830659324 fix-sphinx-properly sphinx4 fixes push Christian Y. Brenninkmeijer github pending completion   set done
827777593 config2 removed ignores push Christian Y. Brenninkmeijer github pending completion   set done
816147100 config2 run_config_checks based on list of dirs push Christian Y. Brenninkmeijer github pending completion   set done
796529321 master Merge pull request #245 from SpiNNakerManchester/cfg_stack push GitHub github pending completion   set done
795655369 cfg_stack checck for double options push Christian Y. Brenninkmeijer github pending completion   set done
795185463 cfg_stack move some values to spinnman.cfg push Christian Y. Brenninkmeijer github pending completion   set done
754870378 master Merge pull request #243 from SpiNNakerManchester/bump6.0.1 push GitHub github pending completion   set done
754864060 bump6.0.1 Merge branch 'master' into bump6.0.1 push GitHub github pending completion   set done
754765619 master Merge pull request #244 from SpiNNakerManchester/context push GitHub github pending completion   set done