chore: if

peterhirn · Sep 25, 2024 · 5ea0e2b · 5ea0e2b
1 parent 952055e
commit 5ea0e2b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
@@ -2,11 +2,10 @@ name: Benchmark
 
 on:
   push:
-    tags:
-      - '**'
 
 jobs:
   bench:
+    if: ${{ startsWith(github.event.head_commit.message, 'release:') }}
     runs-on: ubuntu-latest
     steps:
       - name: Bench

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -2,13 +2,10 @@ name: Check
 
 on:
   push:
-    branches:
-      - "**"
-    tags:
-      - "!**"
 
 jobs:
   check:
+    if: ${{ !startsWith(github.event.head_commit.message, 'release:') }}
     runs-on: ubuntu-latest
     steps:
       - name: Check
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,11 +2,10 @@ name: Benchmark @@
     on:
       push:
-        tags:
-          - '**'
     jobs:
       bench:
+        if: ${{ startsWith(github.event.head_commit.message, 'release:') }}
         runs-on: ubuntu-latest
         steps:
           - name: Bench
@@ Expand Down @@