diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index b0b4d74..06b02a0 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -36,14 +36,19 @@ jobs: pip install sphinxemoji sphinx_rtd_theme recommonmark cd docsource make html && make github && cd .. - git status - + + - name: Check if there are any changes + id: verify_diff + run: | + git diff --quiet . || echo "changed=true" >> $GITHUB_OUTPUT + - name: push docs + if: steps.verify_diff.outputs.changed == 'true' run: | git config user.name "github-actions" git config user.email "actions@github.com" git add docs/* - git commit -m "update docs" + git commit -m "update docs [bot]" git push - name: Create artifact