👷 Don't re-run CI when PR is marked ready_for_review

Also re-format the release-types: published trigger
weiji14 · Feb 29, 2024 · 4856c7b · 4856c7b
1 parent b214884
commit 4856c7b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml
@@ -16,8 +16,7 @@ on:
   # performance analysis in order to generate initial data.
   workflow_dispatch:
   release:
-    types:
-      - published
+    types: [ published ]
 
 jobs:
   benchmarks:

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,9 +9,9 @@ on:
   push:
     branches: [ "main" ]
   release:
-    types: [published]
+    types: [ published ]
   pull_request:
-    types: [opened, ready_for_review, reopened, synchronize]
+    types: [ opened, reopened, synchronize ]
     branches: [ "main" ]
 
 permissions: