SpiNNakerManchester / SpiNNMan / 2797456201

Builds Branch Commit Type Ran Committer Via Coverage
2797456201 spalloc-server Remove parameter that has gone push Donal K. Fellows github pending completion   set done
2797403217 spalloc-server Merge branch 'master' into spalloc-server push Donal K. Fellows github pending completion   set done
2795615141 master Merge pull request #291 from SpiNNakerManchester/pylint_fix push GitHub github pending completion   set done
2795332434 pylint_fix whitespace after not push Christian Y. Brenninkmeijer github pending completion   set done
2795182254 pylint_fix merged in master push Christian Y. Brenninkmeijer github pending completion   set done
2789065574 spalloc-server Merge branch 'master' into spalloc-server push Donal K. Fellows github pending completion   set done
2740877866 spinncer_update Merge remote-tracking branch 'origin/master' into spinncer_update push Andrew Gait github pending completion   set done
2712844673 master Merge pull request #270 from SpiNNakerManchester/global_data_new push GitHub github pending completion   set done
2697716504 spinncer_update Merge remote-tracking branch 'origin/master' into spinncer_update push Andrew Gait github pending completion   set done
2696156814 delays merged in master push Christian Y. Brenninkmeijer github pending completion   set done
2657117188 global_data_new merged in master push Christian Y. Brenninkmeijer github pending completion   set done
2630381316 master Merge pull request #290 from SpiNNakerManchester/reduce_overhead push GitHub github pending completion   set done
2628307971 global_data_new merged in reduce_overhead push Christian Y. Brenninkmeijer github pending completion   set done
2583742498 reduce_overhead Merge branch 'reduce_overhead' of https://github.com/SpiNNakerManchester/SpiNNMan into reduce_overhead push Andrew Rowley github pending completion   set done
2577839688 reduce_overhead boards_copied_to never used push Christian Y. Brenninkmeijer github pending completion   set done