diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 132f1741..f64c95e3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,8 +1,16 @@ name: CI on: + push: + # Run jobs when commits are pushed to + # master or release-like branches: + branches: + - master pull_request: - types: [opened, synchronize, reopened, ready_for_review] + # Run jobs for any external PR that wants + # to merge to master, too: + branches: + - master # Disable previous runs concurrency: