Trigger deploy to Pages from release workflow

By the `workflow_run` event. See also: https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_run [skip ci]
ybiquitous · Oct 7, 2022 · 6f0d166 · 6f0d166
1 parent 5523783
commit 6f0d166
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -1,8 +1,9 @@
 name: GitHub Pages
 
 on:
-  push:
-    tags: ["**"]
+  workflow_run:
+    workflows: [Release]
+    types: [completed]
   workflow_dispatch:
 
 concurrency:
@@ -16,6 +17,7 @@ permissions:
 
 jobs:
   deploy:
+    if: ${{ github.event.workflow_run.conclusion == 'success' }}
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}