Skip to content

Update Jenkins pipeline to run on new agents#84

Merged
samchesney merged 1 commit intoxmos:developfrom
samchesney:feature/new-jenkins-agents
Aug 21, 2019
Merged

Update Jenkins pipeline to run on new agents#84
samchesney merged 1 commit intoxmos:developfrom
samchesney:feature/new-jenkins-agents

Conversation

@samchesney
Copy link
Copy Markdown
Contributor

No description provided.

@samchesney samchesney added type:enhancement New feature or request status:work in progress Not ready to merge labels Aug 20, 2019
@samchesney samchesney merged commit 7d40eab into xmos:develop Aug 21, 2019
@samchesney samchesney deleted the feature/new-jenkins-agents branch August 21, 2019 14:52
@samchesney samchesney removed the status:work in progress Not ready to merge label Aug 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant