Repository navigation

Return `SubmissionIndex` only if submissions succeed - #10218

Merged

mergify[bot] merged 2 commits into

gfx-rs:trunkfrom

teoxoy:opt-submission-index

Oct 27, 2026

Merged

Return `SubmissionIndex` only if submissions succeed#10218
mergify[bot] merged 2 commits into
gfx-rs:trunkfrom
teoxoy:opt-submission-index

Mergify / Summary succeeded Oct 27, 2026 in 3s

1 potential rule

⚠️ The pull request has been closed by GitHub because its commits are also part of another pull request

Rule: Notify the author when Mergify removes a pull request from the queue (comment)

label = "queue: dequeued"
queue-dequeue-reason != pr-manually-dequeued

💖 Mergify is proud to provide this service for free to open source projects.

🚀 You can help us by becoming a sponsor!

Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

@Mergifyio refresh will re-evaluate the rules
@Mergifyio rebase will rebase this PR on its base branch
@Mergifyio update will merge the base branch into this PR
@Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

look at your merge queues
generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

View more details on Mergify