Skip to content

chore: specify trigger label#12900

Merged
mnkiefer merged 1 commit intomainfrom
specify-label
Jan 31, 2026
Merged

chore: specify trigger label#12900
mnkiefer merged 1 commit intomainfrom
specify-label

Conversation

@mnkiefer
Copy link
Contributor

@mnkiefer mnkiefer commented Jan 31, 2026

  • Adds specific trigger label.

@mnkiefer mnkiefer self-assigned this Jan 31, 2026
@mnkiefer mnkiefer merged commit d8a637d into main Jan 31, 2026
117 checks passed
@mnkiefer mnkiefer deleted the specify-label branch January 31, 2026 11:01
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