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.

Sign up for GitHub

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

Jump to bottom

Rename label "merge-ready" to "full-build" (#679 / #682) #682

Merged
merged 1 commit into from Nov 10, 2022
Merged

Rename label "merge-ready" to "full-build" (#679 / #682) #682

merged 1 commit into from Nov 10, 2022

Commits on Nov 10, 2022

  1. Rename label "merge-ready" to "full-build" (#679 / #682) 

    Switching from the reduced, faster build to the full build of all
Java/OS/etc combinations requires adding a specific label to the PR.
It was called "merge-ready", which marks the PR as being ready to be
merged once the build is green, but that is (at least) occasionally
not the case.

To avoid confusion, we rename the label to the less leading name
"full-build".

Closes: #679
PR: #682
    Nicolai Parlog committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    b4ad7fd View commit details
    Browse the repository at this point in the history