diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 2bd8abb1ed..242acef3de 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -41,7 +41,7 @@ jobs: - name: Setup Pages id: pages - uses: actions/configure-pages@v4 + uses: actions/configure-pages@v5 - name: Install dependencies run: opam install . --deps-only --locked --with-doc