Skip to content

[ci] Fix bug where PR labels are not added#2782

Merged
joshlf merged 2 commits intomainfrom
joshlf-patch-3
Nov 20, 2025
Merged

[ci] Fix bug where PR labels are not added#2782
joshlf merged 2 commits intomainfrom
joshlf-patch-3

Commits

Commits on Nov 20, 2025