diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6b965a565..fbee22168 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -34,7 +34,7 @@ jobs: - name: Build doc run: | - odoc --version + opam exec -- odoc --version opam exec -- dune build @doc --verbose 2>&1 ls _build/default/_doc/_html/owl/Owl_dense_matrix cp docs/*.js _build/default/_doc/_html/