Merge branch 'pin-old-geoana' of github.com:geoscixyz/em into pin-old…

…-geoana
geoscixyz · Dec 4, 2024 · 6166147 · 6166147
2 parents b489e68 + 96fe58b
commit 6166147
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.github/workflows/python-app.yml b/.github/workflows/python-app.yml
@@ -4,11 +4,10 @@
 name: EM Website Build
 
 on:
+  pull_request:
   push:
     branches:
-      - '*'
-  pull_request:
-    branches: [ main ]
+      - main
 
 jobs:
   test:
@@ -58,6 +57,10 @@ jobs:
         python _ext/copy_images.py
 
     - name: GitHub Pages
+      # Only deploy if the event that triggered was a push to main
+      # (only pushes to main triggers builds, see 'on' condition in the
+      # beginning of the file)
+      if: success() && github.event_name == 'push'
       uses: crazy-max/[email protected]
       with:
         build_dir: _build/html