Skip to content

chore: trigger CI on base branch change#265

Merged
aherrmann merged 1 commit intomainfrom
ci
Apr 16, 2024
Merged

chore: trigger CI on base branch change#265
aherrmann merged 1 commit intomainfrom
ci

Conversation

@aherrmann
Copy link
Owner

As documented in actions/runner#980 (comment)

This occurs when a PR is marked as depending on another PR, has that other PR's branch as its base branch, and GitHub then automatically changes the base branch after the first PR is merged.

As documented in
actions/runner#980 (comment)

This occurs when a PR is marked as depending on another PR, has that
other PR's branch as its base branch, and GitHub then automatically
changes the base branch after the first PR is merged.
@aherrmann aherrmann enabled auto-merge April 16, 2024 06:25
@aherrmann aherrmann merged commit bc88773 into main Apr 16, 2024
@aherrmann aherrmann deleted the ci branch April 16, 2024 06:30
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