mirror of
https://github.com/opentofu/opentofu.git
synced 2025-02-25 18:45:20 -06:00
5b615882e2
The "push" event is only for pushes to branches within the same repository. Since external contributors make commits in their own repositories rather than directly in the target repository, we also need the pull_request event to react to opening a pull request and to pushing new code to an external branch associated with a pull request. Since internal pull requests would in principle trigger both "push" _and_ "pull_request", we also constrain the push event only to the branches we typically release from, on the assumption that all other branches will merge into those via pull requests. This avoids redundantly running the same checks in response to two events at the same time. |
||
|---|---|---|
| .. | ||
| build-Dockerfile | ||
| build.yml | ||
| checks.yml | ||
| issue-comment-created.yml | ||
| lock.yml | ||
| main.yml | ||
| merged-pr.yml | ||