added odoc install

Signed-off-by: Gabriel Santamaria <gaby.santamaria@outlook.fr>
gabyfle · May 13, 2024 · 7424e78 · 7424e78
1 parent 5f556d5
commit 7424e78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -40,7 +40,7 @@ jobs:
 
       - name: Build Lice documentation
         if: matrix.os == 'ubuntu-latest'
-        run: opam exec -- dune build @doc
+        run: opam install odoc && opam exec -- dune build @doc
 
       - name: Upload playground.bc.js
         if: matrix.os == 'ubuntu-latest'