Skip to content

ci: drop redundant push:main trigger and remove unreachable notify-irm#266

Merged
DevSecNinja merged 1 commit intomainfrom
ci/reduce-trigger-noise
May 1, 2026
Merged

ci: drop redundant push:main trigger and remove unreachable notify-irm#266
DevSecNinja merged 1 commit intomainfrom
ci/reduce-trigger-noise

Commits

Commits on May 1, 2026