diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 63646f035..3c4309997 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -29,6 +29,7 @@ jobs: cd docs/build python build.py git diff --quiet && DIFF=false || DIFF=true + echo $DIFF echo "diff=$DIFF" >> $GITHUB_OUTPUT - name: Commit and push changes