Merge pull request #1334 from bettio/ci-always-push-doc

CI: publish-docs: do not make it conditional

Always run it, and just skip single commit and push commands.

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

.github/workflows/publish-docs.yaml

@@ -124,13 +124,11 @@ jobs:
           git checkout Production
           git config --local user.email "[email protected]"
           git config --local user.name "AtomVM Doc Bot"
-          if [ -n "$(git status --porcelain=v1)" ]; then
-            git add .
-            git commit -m "Update Documentation"
-            echo "PUBLISH=true" >> "$GITHUB_OUTPUT"
-          fi
+          ls -la doc/
+          git add .
+          git diff --exit-code || git commit -m "Update Documentation"
       - name: Push changes
-        if: github.repository == 'atomvm/AtomVM' && steps.commit_files.outputs.PUBLISH  == 'true'
+        if: github.repository == 'atomvm/AtomVM'
         working-directory: /home/runner/work/AtomVM/AtomVM/www
         run: |
           eval `ssh-agent -t 60 -s`
@@ -139,4 +137,4 @@ jobs:
           ssh-keyscan github.com >> ~/.ssh/known_hosts
           git remote add push_dest "[email protected]:atomvm/atomvm_www.git"
           git fetch push_dest
-          git push --set-upstream push_dest Production
+          git diff --exit-code origin/Production || git push --set-upstream push_dest Production