diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 67a3d3bda..b21be5d01 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -37,8 +37,6 @@ jobs: - name: Build doc run: | opam exec -- dune build @doc - cp docs/*.js _build/default/_doc/_html/ - cp docs/*.css _build/default/_doc/_html/ - name: Deploy uses: peaceiris/actions-gh-pages@v3