editing...

owlbarn · Mar 8, 2024 · 97d86d4 · 97d86d4
1 parent 4e64f83
commit 97d86d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/