Add skip condition in workflows

christian-byrne · Sep 20, 2024 · ac1b59e · ac1b59e
1 parent 96e897b
commit ac1b59e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/run-compile-test.yml b/.github/workflows/run-compile-test.yml
@@ -10,6 +10,7 @@ on:
 
 jobs:
   check_compilation:
+    if: ${{ !contains(github.event.head_commit.message, '[skip ci]') }}
     runs-on: ubuntu-latest
 
     steps:
@@ -21,5 +22,5 @@ jobs:
 
       - name: Run SML Compilation Check
         run: |
-          chmod +x ./check_compilation.sh
-          ./check_compilation.sh
+          chmod +x ./test-compile
+          ./test-compile
diff --git a/.github/workflows/run-sml-tests.yml b/.github/workflows/run-sml-tests.yml
@@ -9,6 +9,7 @@ on:
 
 jobs:
   test:
+    if: ${{ !contains(github.event.head_commit.message, '[skip ci]') }}
     runs-on: ubuntu-latest
 
     steps:
-Original file line number
+Diff line change
@@ Expand Up / @@ -9,6 +9,7 @@ on: @@
     jobs:
       test:
+        if: ${{ !contains(github.event.head_commit.message, '[skip ci]') }}
         runs-on: ubuntu-latest
         steps:
@@ Expand Down @@