diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 3fb689df3e..cb761ef992 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -4,6 +4,8 @@ permissions: contents: read pages: write id-token: write + pull-requests: write + on: push: branches: @@ -15,7 +17,7 @@ jobs: concurrency: ci-${{github. ref}} steps: - name : Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v3 with: submodules: "true" @@ -40,4 +42,4 @@ jobs: with: token: ${{ secrets.GITHUB_TOKEN }} branch: gh-pages - folder: docs/doxygen/build/html + folder: docs/doxygen/build/html \ No newline at end of file