diff --git a/.github/workflows/update-gh-pages.yml b/.github/workflows/update-gh-pages.yml index 0165ad90c1..309e58901f 100644 --- a/.github/workflows/update-gh-pages.yml +++ b/.github/workflows/update-gh-pages.yml @@ -53,7 +53,7 @@ jobs: make bootstrap-pkg-minimal - name: Setup Pages id: pages - uses: actions/configure-pages@v4 + uses: actions/configure-pages@v5 - name: Build GAP manuals run: | make html # we are only interested in the HTML version