From 8b0f6257ca92816505da4c33308832d6d93e4031 Mon Sep 17 00:00:00 2001 From: "J.Stark" Date: Fri, 8 Mar 2024 12:17:33 +0100 Subject: [PATCH] editing... --- .github/workflows/main.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index fbee22168..9d03765e1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -34,8 +34,7 @@ jobs: - name: Build doc run: | - opam exec -- odoc --version - opam exec -- dune build @doc --verbose 2>&1 + opam exec -- dune build @doc --verbose ls _build/default/_doc/_html/owl/Owl_dense_matrix cp docs/*.js _build/default/_doc/_html/ cp docs/*.css _build/default/_doc/_html/