fix: do not fail if root index.html have no changes

Signed-off-by: skjnldsv <skjnldsv@protonmail.com>

Author: skjnldsv

.github/workflows/generate-top-index.yml

@@ -12,13 +12,10 @@ permissions:
   contents: write
 
 jobs:
-  build:
+  build-and-deploy:
     name: Build index.html
     runs-on: ubuntu-latest
 
-    permissions:
-      contents: read
-
     steps:
     - name: Cache git metadata
       uses: actions/cache@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4
@@ -72,4 +69,4 @@ jobs:
         mv /tmp/static/ static/
         git add index.html static/
         git commit -m "chore: update index.html for documentation" || echo "No changes to commit"
-        git push origin gh-pages
+        git push origin gh-pages || echo "Nothing to push (expected if no changes)"