diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 535bb98225..291373bc5b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,7 @@ on: push: branches: [develop, main] pull_request: + types: [ labeled ] # Allows you to run this workflow manually from the Actions tab workflow_dispatch: @@ -28,6 +29,7 @@ env: jobs: build: runs-on: ubuntu-latest + if: ${{ github.event.label.name == 'run-ci' }} steps: # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it @@ -56,6 +58,7 @@ jobs: lint: runs-on: ubuntu-latest + if: ${{ github.event.label.name == 'run-ci' }} steps: # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it