chore(ci): Web deploy trigger

effigies · Nov 4, 2024 · 874ead7 · 874ead7
1 parent 74c63aa
commit 874ead7
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/web_validator.yml b/.github/workflows/web_validator.yml
@@ -8,6 +8,13 @@ on:
     branches: [master, main]
   release:
     types: [published]
+  workflow_dispatch:
+    inputs:
+      deploy:
+        description: Deploy to github-pages
+        required: false
+        type: boolean
+
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -33,7 +40,7 @@ jobs:
   deploy:
     name: Deploy web validator
     needs: build
-    if: github.event_name == 'release' && github.event.action == 'published'
+    if:  github.event_name == 'release' || inputs.deploy
     permissions:
       contents: read
       pages: write