diff --git a/.github/workflows/build_dev_documentation.yml b/.github/workflows/build_dev_documentation.yml index 43b7ae15c003..1617750486c0 100644 --- a/.github/workflows/build_dev_documentation.yml +++ b/.github/workflows/build_dev_documentation.yml @@ -74,23 +74,23 @@ jobs: message: 'The docs for this PR live [here](https://moon-ci-docs.huggingface.co/docs/transformers/pr_${{ env.PR_NUMBER }}). All of your documentation changes will be reflected on that endpoint.' GITHUB_TOKEN: ${{ env.WRITE }} -# - name: Find Comment -# if: github.event.action == 'reopened' -# uses: peter-evans/find-comment@v1 -# id: fc -# with: -# issue-number: ${{ env.PR_NUMBER }} -# comment-author: HuggingFaceDocBuilder - -# - name: Update comment -# if: github.event.action == 'reopened' -# uses: peter-evans/create-or-update-comment@v1 -# with: -# comment-id: ${{ steps.fc.outputs.comment-id }} -# token: ${{ env.WRITE }} -# edit-mode: replace -# body: | -# The docs for this PR live [here](https://moon-ci-docs.huggingface.co/docs/transformers/pr_${{ env.PR_NUMBER }}). All of your documentation changes will be reflected on that endpoint. + - name: Find Comment + if: github.event.action == 'reopened' + uses: peter-evans/find-comment@v1 + id: fc + with: + issue-number: ${{ env.PR_NUMBER }} + comment-author: HuggingFaceDocBuilderDev + + - name: Update comment + if: github.event.action == 'reopened' + uses: peter-evans/create-or-update-comment@v1 + with: + comment-id: ${{ steps.fc.outputs.comment-id }} + token: ${{ env.WRITE }} + edit-mode: replace + body: | + The docs for this PR live [here](https://moon-ci-docs.huggingface.co/docs/transformers/pr_${{ env.PR_NUMBER }}). All of your documentation changes will be reflected on that endpoint. - name: Make documentation env: diff --git a/.github/workflows/delete_dev_documentation.yml b/.github/workflows/delete_dev_documentation.yml index 98f2fb41db5c..61da3c32856d 100644 --- a/.github/workflows/delete_dev_documentation.yml +++ b/.github/workflows/delete_dev_documentation.yml @@ -44,20 +44,20 @@ jobs: fi shell: bash -# - name: Find Comment -# if: ${{ always() }} -# uses: peter-evans/find-comment@v1 -# id: fc -# with: -# issue-number: ${{ env.PR_NUMBER }} -# comment-author: HuggingFaceDocBuilder - -# - name: Update comment -# if: ${{ always() }} -# uses: peter-evans/create-or-update-comment@v1 -# with: -# comment-id: ${{ steps.fc.outputs.comment-id }} -# token: ${{ env.WRITE }} -# edit-mode: replace -# body: | -# _The documentation is not available anymore as the PR was closed or merged._ + - name: Find Comment + if: ${{ always() }} + uses: peter-evans/find-comment@v1 + id: fc + with: + issue-number: ${{ env.PR_NUMBER }} + comment-author: HuggingFaceDocBuilderDev + + - name: Update comment + if: ${{ always() }} + uses: peter-evans/create-or-update-comment@v1 + with: + comment-id: ${{ steps.fc.outputs.comment-id }} + token: ${{ env.WRITE }} + edit-mode: replace + body: | + _The documentation is not available anymore as the PR was closed or merged._