From 7424e78ad8b3e26cb43709439c5b36682935f065 Mon Sep 17 00:00:00 2001 From: Gabriel Santamaria Date: Mon, 13 May 2024 15:37:39 +0200 Subject: [PATCH] added odoc install Signed-off-by: Gabriel Santamaria --- .github/workflows/workflow.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 9162e4f..75d2665 100644 --- 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'