Only run on m,erges to master

emilk · Nov 16, 2023 · 1f76f33 · 1f76f33
1 parent 4892717
commit 1f76f33
Showing 1 changed file with 6 additions and 9 deletions.
diff --git a/.github/workflows/deploy_web_demo.yml b/.github/workflows/deploy_web_demo.yml
@@ -1,15 +1,12 @@
 name: Deploy web demo
 
-on: [push, pull_request]
+on:
+  # We only run this on merges to master
+  push:
+    branches: ["master"]
 
-# TODO: run only on master
-# on:
-#   # Runs on pushes targeting the default branch
-#   push:
-#     branches: ["master"]
-
-#   # Allows you to run this workflow manually from the Actions tab
-#   workflow_dispatch:
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
 
 # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
 permissions: