Skip to content

ci: [BACKPORT] Wrench options update#3613

Merged
michalChrobot merged 2 commits intodevelopfrom
wrench-quick-update-1.X
Aug 20, 2025
Merged

ci: [BACKPORT] Wrench options update#3613
michalChrobot merged 2 commits intodevelopfrom
wrench-quick-update-1.X

Conversation

@michalChrobot
Copy link
Copy Markdown
Member

@michalChrobot michalChrobot commented Aug 20, 2025

Purpose of this PR

Quick update of options that are no longer applicable
Backport of #3612

Jira ticket

N/A

Documentation

N/A

Testing & QA

N/A

Backport

#3612

@michalChrobot michalChrobot self-assigned this Aug 20, 2025
@michalChrobot michalChrobot merged commit 10a5055 into develop Aug 20, 2025
5 of 27 checks passed
@michalChrobot michalChrobot deleted the wrench-quick-update-1.X branch August 20, 2025 12:55
@michalChrobot michalChrobot changed the title Wrench quick update 1.x ci: [BACKPORT] Wrench options update Aug 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant