-
Notifications
You must be signed in to change notification settings - Fork 2.7k
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
Small workflow adjustments #16533
Small workflow adjustments #16533
Conversation
This needs a rebase/conflict resolution. That failure is a known one: #16416 |
Offtopic: @gsmet could the bot also detect merge conflicts? It happened more than once to me that I didn't realize I had a conflict in one of my PRs... |
Yeah, I thought about it, the other day. I think it would be doable. There is a |
Replaced by the Quarkus Bot
ac654e7
to
1762fc5
Compare
Rebased. |
@gsmet It just occured to me that in forks people are on their own now, meaning that you have to cancel runs yourself after a push (because the bot doesn't cover forks). |
Yeah, why not. |
Disabling
cancel-previous-runs
as the bot will take care of this from now on.