Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Refresh build #159

Merged
merged 1 commit into from Dec 12, 2022
Merged

Refresh build #159

merged 1 commit into from Dec 12, 2022

Conversation

basil
Copy link
Member

@basil basil commented Dec 10, 2022

Rollup of #130, #140, #151, #157, and #158 with some additional cleanup on top of that. A release of this would be appreciated for PCT purposes. CC @jenkinsci/display-url-api-plugin-developers

@basil
Copy link
Member Author

basil commented Dec 10, 2022

Used my admin powers to replay the run with Jenkinsfile changes here: https://ci.jenkins.io/job/Plugins/job/display-url-api-plugin/job/PR-159/2/

@basil basil mentioned this pull request Dec 10, 2022
@olamy olamy merged commit ba19448 into jenkinsci:master Dec 12, 2022
@basil basil mentioned this pull request Dec 12, 2022
6 tasks
@basil basil deleted the refresh branch January 7, 2023 20:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants