Skip to content

Refresh plugin#129

Merged
jglick merged 1 commit intojenkinsci:masterfrom
basil:refresh
Oct 30, 2023
Merged

Refresh plugin#129
jglick merged 1 commit intojenkinsci:masterfrom
basil:refresh

Conversation

@basil
Copy link
Member

@basil basil commented May 21, 2023

No description provided.

@basil
Copy link
Member Author

basil commented May 21, 2023

Used my admin powers to replay the build with the Jenkinsfile changes here: https://ci.jenkins.io/job/Plugins/job/ssh-agent-plugin/job/PR-129/4/

@MarkEWaite MarkEWaite mentioned this pull request Oct 12, 2023
5 tasks
@jglick jglick merged commit c95dbfe into jenkinsci:master Oct 30, 2023
@basil basil deleted the refresh branch October 30, 2023 18:31
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.

2 participants