Skip to content

first pass at jenkins support#15

Merged
samwar merged 1 commit intomasterfrom
jenkins-support
Mar 19, 2021
Merged

first pass at jenkins support#15
samwar merged 1 commit intomasterfrom
jenkins-support

Conversation

@zzantozz
Copy link
Copy Markdown
Contributor

This is some partially tested (manually) Jenkins stuff to get us
moving in the right direction. A couple of pieces are still notably
missing, like the publish command and the pipeline stage that updates
the PR with a message.

This is some partially tested (manually) Jenkins stuff to get us
moving in the right direction. A couple of pieces are still notably
missing, like the publish command and the pipeline stage that updates
the PR with a message.
@samwar samwar merged commit 489373e into master Mar 19, 2021
@zzantozz zzantozz deleted the jenkins-support branch March 19, 2021 18:27
@zzantozz zzantozz added the feature New feature or request label Mar 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants