add ability to update badges on develop during push (#4)

mxndtaylor · Jun 2, 2024 · bd30343 · bd30343
2 parents 8c61c11 + 0f08819
commit bd30343
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/.github/workflows/build-workflow.yml b/.github/workflows/build-workflow.yml
@@ -82,7 +82,7 @@ jobs:
         if: ${{ !cancelled() }}
         run: pdm style
       - name: Badges
-        if: ${{ !cancelled() }}
+        if: ${{ !cancelled() && github.event_name == 'pull_request' }}
         run: |
           git config --global user.name 'Auto'
           git config --global user.email '[email protected]'
@@ -92,3 +92,11 @@ jobs:
           pdm badges-only
           git commit -am "Update Badges"
           git push
+      - name: Badges
+        if: ${{ !cancelled() && github.event_name == 'push' }}
+        run: |
+          git config --global user.name 'Auto'
+          git config --global user.email '[email protected]'
+          pdm badges-only
+          git commit -am "Update Badges"
+          git push
diff --git a/badges/timestamp.txt b/badges/timestamp.txt
@@ -1 +1 @@
-Sun Jun  2 23:08:54 UTC 2024
+Sun Jun  2 23:18:31 UTC 2024
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		Sun Jun 2 23:08:54 UTC 2024
		Sun Jun 2 23:18:31 UTC 2024