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.

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

Bump builder #2244

Merged
merged 1 commit into from
Oct 31, 2024
Merged

Bump builder #2244

merged 1 commit into from
Oct 31, 2024

Conversation

QuentinI
Copy link
Contributor

Closes #<ISSUE_NUMBER>

This PR:

This PR does not:

Key places to review:

@QuentinI QuentinI enabled auto-merge October 31, 2024 20:51
@QuentinI QuentinI merged commit a982dd7 into main Oct 31, 2024
16 of 17 checks passed
@QuentinI QuentinI deleted the ag/bump-builder-version branch October 31, 2024 21:03
Copy link
Contributor

Backport failed for release-rogue, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin release-rogue
git worktree add -d .worktree/backport-2244-to-release-rogue origin/release-rogue
cd .worktree/backport-2244-to-release-rogue
git switch --create backport-2244-to-release-rogue
git cherry-pick -x b35ddaca998bf9033238636247e95ce9ab73d409

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants