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

Conversation

@hediet
Copy link
Member

@hediet hediet commented Jan 20, 2026

No description provided.

@hediet hediet enabled auto-merge (squash) January 20, 2026 16:26
@vs-code-engineering vs-code-engineering bot added this to the January 2026 milestone Jan 20, 2026
@hediet hediet merged commit fe9dd23 into main Jan 20, 2026
3 checks passed
@hediet hediet deleted the hediet/b/plain-cougar branch January 20, 2026 16:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants