diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7efcd05b..f3a567e1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,13 +1,20 @@ name: CI on: - workflow_dispatch: - pull_request: push: + branches: + - main + - master + + pull_request: + types: [opened, synchronize, reopened, labeled] jobs: build-and-test: name: Run on ${{ matrix.os }} with SOFA ${{ matrix.sofa_branch }} + if: > + github.event_name == 'push' || + contains(github.event.pull_request.labels.*.name, 'pr: run ci') runs-on: ${{ matrix.os }} strategy: fail-fast: false