Skip to content

[Backport main] Refactor constraints - #456

Merged
chennes merged 4 commits into
mainfrom
backport-455-to-main
Aug 14, 2026
Merged

[Backport main] Refactor constraints#456
chennes merged 4 commits into
mainfrom
backport-455-to-main

Conversation

@github-actions

Copy link
Copy Markdown

Description

Backport of #455 to main.

@github-actions github-actions Bot mentioned this pull request Jul 30, 2026
@chennes chennes added the in testing on dev branch This backport PR is still in testing on the dev branch and should not be merged yet. label Jul 30, 2026
@chennes
chennes merged commit a943471 into main Aug 14, 2026
8 checks passed
@chennes
chennes deleted the backport-455-to-main branch August 14, 2026 13:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

in testing on dev branch This backport PR is still in testing on the dev branch and should not be merged yet.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant