Skip to content

ci: fix pr notification message for Discord#208

Merged
yunho09 merged 2 commits intomainfrom
features/pr-notifications
Dec 4, 2025
Merged

ci: fix pr notification message for Discord#208
yunho09 merged 2 commits intomainfrom
features/pr-notifications

Commits

Commits on Dec 4, 2025