wip: test build script in CI

defenseunicorns · Dec 19, 2023 · 435110e · 435110e
1 parent 67d27eb
commit 435110e
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -68,8 +68,11 @@ jobs:
           git config user.name "docs.yml"
           git config user.email "<>"
           git add --all
-          git commit -m "docs.yml"
-          git push origin main
+
+          if ! git diff-index --quiet HEAD; then
+            git commit -m "docs.yml"
+            git push origin main
+          fi
 
       # - name: Publish the site!
       #   run: |