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

fix(mergify): align build job name across workflows #9055

Merged
merged 1 commit into from
Nov 27, 2024
Merged

fix(mergify): align build job name across workflows #9055

merged 1 commit into from
Nov 27, 2024

Conversation

gustavovalverde
Copy link
Member

@gustavovalverde gustavovalverde commented Nov 23, 2024 •
edited
Loading

Motivation

Mergify is not queueing PRs as there's an inconsistency between patch workflows and the main workflow name for the build job.

Solution

  • Align the main workflow job name with the patches names.

Tests

This PR should merge automatically, after approval

@gustavovalverde gustavovalverde added C-bug Category: This is a bug A-devops Area: Pipelines, CI/CD and Dockerfiles I-integration-fail Continuous integration fails, including build and test failures P-Critical 🚑 labels Nov 23, 2024
@gustavovalverde gustavovalverde requested a review from a team as a code owner November 23, 2024 11:39
@gustavovalverde gustavovalverde requested review from upbqdn and removed request for a team November 23, 2024 11:39
@github-actions github-actions bot added the C-trivial Category: A trivial change that is not worth mentioning in the CHANGELOG label Nov 23, 2024
@gustavovalverde
Copy link
Member Author

@mergify queue

@mergify Mergify
Copy link
Contributor

mergify bot commented Nov 27, 2024 •
edited
Loading

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at 802a243

mergify bot added a commit that referenced this pull request Nov 27, 2024
@mergify
Merge of #9055
f76d6aa
This was referenced Nov 27, 2024
Closed
Merged
Merged
@mergify mergify bot merged commit 802a243 into main Nov 27, 2024
138 of 139 checks passed
@mergify mergify bot deleted the fix-merge-queue branch November 27, 2024 15:49
@arya2 arya2 mentioned this pull request Dec 5, 2024
Merged
45 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@oxarbitrage oxarbitrage oxarbitrage approved these changes

@upbqdn upbqdn Awaiting requested review from upbqdn upbqdn is a code owner automatically assigned from ZcashFoundation/devops-reviewers

Assignees
No one assigned
Labels
A-devops Area: Pipelines, CI/CD and Dockerfiles C-bug Category: This is a bug C-trivial Category: A trivial change that is not worth mentioning in the CHANGELOG I-integration-fail Continuous integration fails, including build and test failures P-Critical 🚑
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gustavovalverde @oxarbitrage