diff --git a/.github/workflows/opam-build.yml b/.github/workflows/opam-build.yml index 4046886a..963f17e5 100644 --- a/.github/workflows/opam-build.yml +++ b/.github/workflows/opam-build.yml @@ -106,7 +106,7 @@ jobs: - name: Prepare documentation for deployment # Only upload and deploy documentation when pushing on main if: github.event_name == 'push' && github.ref == 'refs/heads/main' - uses: actions/upload-pages-artifact@v4 + uses: actions/upload-pages-artifact@v5 with: path: docs