From b9e849a09193cad3722834a61f59020d898cf9e7 Mon Sep 17 00:00:00 2001
From: Sion Kang <31057849+Yaminyam@users.noreply.github.com>
Date: Tue, 20 Sep 2022 02:00:59 +0900
Subject: [PATCH] ci: Support for ci skip through tag

---
 .github/workflows/ci.yaml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 2acc7f5d0d..5b2877083b 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -2,6 +2,7 @@ on:
   push:
     branches: [main, release]
   pull_request:
+    types: [labeled, unlabeled, opened, synchronize, reopened]
 
 name: CI
 
@@ -99,6 +100,7 @@ env:
 
 jobs:
   rust_tests:
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}
     env:
       RUST_BACKTRACE: full
     name: Run rust tests
@@ -149,6 +151,7 @@ jobs:
         if: runner.os == 'macOS'
 
   exotic_targets:
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}
     name: Ensure compilation on various targets
     needs: lalrpop
     runs-on: ubuntu-latest
@@ -213,6 +216,7 @@ jobs:
           command: check
 
   snippets_cpython:
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}
     needs: lalrpop
     env:
       RUST_BACKTRACE: full
@@ -279,6 +283,7 @@ jobs:
           target/release/rustpython --install-pip ensurepip --user
 
   lalrpop:
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}
     name: Generate parser with lalrpop
     strategy:
       matrix:
@@ -348,6 +353,7 @@ jobs:
         run: python -I whats_left.py
 
   miri:
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}
     name: Run tests under miri
     needs: lalrpop
     runs-on: ubuntu-latest
@@ -369,6 +375,7 @@ jobs:
         run: MIRIFLAGS='-Zmiri-ignore-leaks' cargo +nightly miri test -p rustpython-vm -- miri_test
 
   wasm:
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}
     name: Check the WASM package and demo
     needs: lalrpop
     runs-on: ubuntu-latest
@@ -417,6 +424,7 @@ jobs:
           PUBLISH_BRANCH: master
 
   wasm-wasi:
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'skip:ci') }}
     name: Run snippets and cpython tests on wasm-wasi
     needs: lalrpop
     runs-on: ubuntu-latest