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
Adjust bors.toml after #11364 #11369
Conversation
Changelog[uncommitted] (2022-11-16) |
83a49e0
to
81f4888
Compare
bors merge |
🕐 Waiting for PR status (GitHub check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set. |
bors merge |
🕐 Waiting for PR status (GitHub check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set. |
81f4888
to
968a07d
Compare
bors merge |
Stopped waiting for PR status (GitHub check) without running due to duplicate requests to run. You may check Bors to see that this PR is included in a batch by one of the other requests. |
11369: Adjust bors.toml after #11364 r=AaronFriel a=AaronFriel This is a separate PR due to `pull_request_target` workflows running in the context of the base repository's main branch. The change in this PR is not mergeable until #11364 is merged. At which time, this will need to be rebased to trigger workflows to run, and the new workflow will run. Fixes #11360. Co-authored-by: Aaron Friel <mayreply@aaronfriel.com>
Build failed: |
bors merge |
Build succeeded: |
This is a separate PR due to
pull_request_target
workflows running in the context of the base repository's main branch. The change in this PR is not mergeable until #11364 is merged. At which time, this will need to be rebased to trigger workflows to run, and the new workflow will run.Fixes #11360.