Run CI before publish to be safe

Gerrit0 · Nov 18, 2023 · fc0b736 · fc0b736
1 parent 253fa5f
commit fc0b736
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,11 @@
 name: CI
-on: [push, pull_request]
+on:
+    push:
+    pull_request:
+    workflow_run:
+        workflows: ["Generate Web API Index"]
+        types:
+            - completed
 jobs:
     build:
         runs-on: ubuntu-latest

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -4,7 +4,7 @@ on:
         branches:
             - main
     workflow_run:
-        workflows: ["Generate Web API Index"]
+        workflows: ["CI"]
         types:
             - completed
 jobs: