From 71137bb7a140522b52009b6d63a3fa9fdfb82cb7 Mon Sep 17 00:00:00 2001 From: "J.Stark" Date: Fri, 8 Mar 2024 11:30:46 +0100 Subject: [PATCH] debugging doc CI --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 59f7deafd..9d03765e1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -34,7 +34,8 @@ jobs: - name: Build doc run: | - opam exec -- dune build @doc + 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/ # cat docs/mathjax.js docs/highlight.pack.js >> _build/default/_doc/_html/highlight.pack.js @@ -42,7 +43,6 @@ jobs: - name: inspect run: | ls _build/default/_doc/_html/owl/Owl - ls _build/default/_doc/_html/owl/ ls _build/default/_doc/_html/ - name: Deploy