Skip to content

[ci] Update discord notification bot to use remote workflow#7455

Merged
poteto merged 1 commit intomainfrom
ci
Jan 24, 2025
Merged

[ci] Update discord notification bot to use remote workflow#7455
poteto merged 1 commit intomainfrom
ci

Commits

Commits on Jan 24, 2025