Skip to content

CI: Only run push on main branch to avoid duplicate runs#5198

Merged
hediet merged 1 commit intomainfrom
hediet/b/plain-cougar
Jan 20, 2026
Merged

CI: Only run push on main branch to avoid duplicate runs#5198
hediet merged 1 commit intomainfrom
hediet/b/plain-cougar

Commits

Commits on Jan 20, 2026