ci: fix nothing to commit

This commit is contained in:
João Ribeiro 2025-06-13 13:30:44 +01:00 committed by GitHub
parent ad0f14f804
commit ce959869ed
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -23,7 +23,7 @@ jobs:
run: |
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
git commit -m "Build stylesheet" -a
git diff --exit-code || git commit -m "Build stylesheet" -a
- name: Push Stylesheet to Repository
uses: ad-m/github-push-action@master
with: