diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index ca74cad8e..cbd70afab 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -36,7 +36,7 @@ jobs: - name: Copy developer docs to repository if: github.ref == 'refs/heads/main' - uses: nkoppel/push-files-to-another-repository@v1.1.3 + uses: nkoppel/push-files-to-another-repository@v1.1.4 continue-on-error: true env: API_TOKEN_GITHUB: ${{ steps.get_token.outputs.token }}