Adds a manual deployment step.

nrdg · Jun 12, 2024 · c0999d9 · c0999d9
1 parent 99877dc
commit c0999d9
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 20 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -36,23 +36,3 @@ jobs:
               with:
                 name: poster
                 path: poster.pdf
-
-    deploy:
-      needs: build
-      runs-on: ubuntu-latest
-      if: github.event.pull_request.merged == true
-      steps:
-            - name: Commit poster PDF
-              if: github.event.pull_request.merged
-              uses: EndBug/add-and-commit@v9
-              with:
-                add: 'poster.pdf'
-                author_name: 'GitHub Actions'
-                message: 'Add poster.pdf at ${{ github.sha }}'
-
-            - name: Deploy html to gh-pages
-              if: github.event.pull_request.merged
-              uses: JamesIves/github-pages-deploy-action@4.1.5
-              with:
-                branch: gh-pages
-                folder: ${{github.workspace}}/website
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -0,0 +1,22 @@
+name: Deploy
+
+# configure manual trigger
+on:
+  workflow_dispatch:
+
+jobs:
+    deploy:
+        runs-on: ubuntu-latest
+        steps:
+              - name: Commit poster PDF
+                uses: EndBug/add-and-commit@v9
+                with:
+                  add: 'poster.pdf'
+                  author_name: 'GitHub Actions'
+                  message: 'Add poster.pdf at ${{ github.sha }}'
+
+              - name: Deploy html to gh-pages
+                uses: JamesIves/github-pages-deploy-action@4.1.5
+                with:
+                  branch: gh-pages
+                  folder: ${{github.workspace}}/website