Skip to content

ci: remove redundant push trigger for main branch#7

Merged
drichar merged 1 commit intomainfrom
ci/remove-redundant-main-push-trigger
Jan 19, 2026
Merged

ci: remove redundant push trigger for main branch#7
drichar merged 1 commit intomainfrom
ci/remove-redundant-main-push-trigger

Commits

Commits on Jan 19, 2026