Skip to content

ci: remove redundant push triggers and add check-main guard#24

Merged
ben-miru merged 2 commits intomainfrom
ci/remove-redundant-push-triggers
Mar 26, 2026
Merged

ci: remove redundant push triggers and add check-main guard#24
ben-miru merged 2 commits intomainfrom
ci/remove-redundant-push-triggers

Commits

Commits on Mar 26, 2026