Manually install odoc for docs building on CI

dmtrKovalenko · Apr 27, 2024 · c749d64 · c749d64
1 parent d4a2112
commit c749d64
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -91,4 +91,6 @@ jobs:
           path: test/test-images
 
       - name: Build docs
-        run: esy doc
+        run: |
+          opam install odoc
+          esy doc