update workflows

update workflows to also run on pull requests but not make any changes until they are merged to master
emmo-repo · Sep 8, 2024 · fb0d843 · fb0d843
1 parent 105395b
commit fb0d843
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -4,6 +4,9 @@ on:
   push:
     branches:
       - 'master'
+  pull_request:
+    branches:
+      - '*'  # To ensure it runs on all PRs
 
 env:
   GIT_USER_NAME: BattINFO Developers

diff --git a/.github/workflows/update_foops_badge.yml b/.github/workflows/update_foops_badge.yml
@@ -5,6 +5,7 @@ on:
     workflows: ["docs"]
     types:
       - completed
+  pull_request:  # Add this to run on pull request
 
 env:
   GIT_USER_NAME: BattINFO Developers
@@ -52,6 +53,7 @@ jobs:
         git diff --staged --quiet || git commit -m "Update FOOPS score badge"
 
     - name: Push changes
+      if: github.ref == 'refs/heads/master'  # Only push changes when on master
       run: git push origin HEAD:master
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}