👷 ci: remove push event trigger from PR build check workflow#31
Merged
656d696c65 merged 1 commit intomainfrom Nov 28, 2025
Merged
👷 ci: remove push event trigger from PR build check workflow#31656d696c65 merged 1 commit intomainfrom
656d696c65 merged 1 commit intomainfrom
Commits
Commits on Nov 28, 2025
- committed
656d696c65