Skip CI if label added to PR (#2571)

Signed-off-by: Sanket Sudake <sanketsudake@gmail.com> Signed-off-by: Sanket Sudake <sanketsudake@gmail.com>
2022-10-15 17:52:12 +05:30
parent f2b790921b
commit d933f0ba6c
6 changed files with 12 additions and 9 deletions
@@ -24,7 +24,7 @@ env:
 jobs:
  lint:
    runs-on: ubuntu-latest
-
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip-ci') }}
    steps:
      - name: Check out code
        uses: actions/checkout@v3