diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index f1b546de3..1b82b382f 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -29,22 +29,23 @@ jobs: git diff 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 - if: steps.generate.outputs.diff == 'true' - run: | - echo $GITHUB_OUTPUT - git checkout -b update-docs - git add docs/api-reference - git config --global user.name 'github-actions' - git config --global user.email 'github-actions@github.com' - git commit -m "Update documentation" - git push -u origin update-docs - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + git diff +# git diff --quiet && DIFF=false || DIFF=true +# echo $DIFF +# echo "diff=$DIFF" >> $GITHUB_OUTPUT + + # - name: Commit and push changes + # if: steps.generate.outputs.diff == 'true' + # run: | + # echo $GITHUB_OUTPUT + # git checkout -b update-docs + # git add docs/api-reference + # git config --global user.name 'github-actions' + # git config --global user.email 'github-actions@github.com' + # git commit -m "Update documentation" + # git push -u origin update-docs + # env: + # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # - name: Create Pull Request # uses: peter-evans/create-pull-request@v6