diff --git a/.github/workflows/javadocs.yml b/.github/workflows/javadocs.yml index 13bf9b4..c3187f0 100644 --- a/.github/workflows/javadocs.yml +++ b/.github/workflows/javadocs.yml @@ -9,6 +9,7 @@ permissions: contents: read pages: write id-token: write + actions: read concurrency: group: "pages" @@ -39,4 +40,4 @@ jobs: path: './build/docs/javadoc' - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v3 + uses: actions/deploy-pages@v4