Skip to content

jenkins write to global_reports#157

Merged
andrewgait merged 4 commits into
mainfrom
time_report2
Oct 27, 2022
Merged

jenkins write to global_reports#157
andrewgait merged 4 commits into
mainfrom
time_report2

Conversation

@Christian-B

@Christian-B Christian-B commented Oct 20, 2022

Copy link
Copy Markdown
Member

Match to SpiNNakerManchester/TestBase#20

These PR is useful for SpiNNakerManchester/microcircuit_model#21

But can/ should be merged before.

@andrewgait andrewgait merged commit 5c9b7b5 into main Oct 27, 2022
@andrewgait andrewgait deleted the time_report2 branch October 27, 2022 15:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants