diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml index 0e0bb01..078fdfb 100644 --- a/.github/workflows/deploy-doc.yml +++ b/.github/workflows/deploy-doc.yml @@ -45,7 +45,7 @@ jobs: run: opam exec -- dune build @doc - name: Set-up Pages - uses: actions/configure-pages@v4 + uses: actions/configure-pages@v5 - name: Upload artifact uses: actions/upload-pages-artifact@v3