Skip to content

[ci] chore(workflow): add solved label and correct milestone to issue when PR is merged (#252)#253

Merged
ncarenton merged 1 commit into
mainfrom
ci/update-linked-issues-on-merge
May 21, 2026
Merged

[ci] chore(workflow): add solved label and correct milestone to issue when PR is merged (#252)#253
ncarenton merged 1 commit into
mainfrom
ci/update-linked-issues-on-merge