Skip to content

chore: remove branch restriction for pull requests in CI and deploy workflows#2903

Merged
tobiasdiez merged 1 commit intomainfrom
run-gh-prs
Mar 4, 2026
Merged

chore: remove branch restriction for pull requests in CI and deploy workflows#2903
tobiasdiez merged 1 commit intomainfrom
run-gh-prs

Conversation

@tobiasdiez
Copy link
Copy Markdown
Member

🔗 Linked issue

📚 Description

So that they get invoked also for PRs against other PRs.

@tobiasdiez tobiasdiez enabled auto-merge (squash) March 4, 2026 16:37
@tobiasdiez tobiasdiez disabled auto-merge March 4, 2026 16:50
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 4, 2026

@tobiasdiez tobiasdiez merged commit 772af26 into main Mar 4, 2026
5 checks passed
@tobiasdiez tobiasdiez deleted the run-gh-prs branch March 4, 2026 16:54
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.

1 participant