diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index d1f7fb09e0..dedfe44ef8 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -55,7 +55,7 @@ jobs: run: opam exec -- dune build @doc - name: Upload artifact - uses: actions/upload-pages-artifact@v3 + uses: actions/upload-pages-artifact@v2 with: path: _build/default/_doc/_html/