Skip to content

ci: scope push trigger to main (kill duplicate PR-branch runs)#23

Merged
Jepson2k merged 1 commit into
mainfrom
fix/ci-scope-push-to-main
Jul 8, 2026
Merged

ci: scope push trigger to main (kill duplicate PR-branch runs)#23
Jepson2k merged 1 commit into
mainfrom
fix/ci-scope-push-to-main

Commits

Commits on Jun 28, 2026