From c749d6443cb81970621fb19b35fc69984da2b9d3 Mon Sep 17 00:00:00 2001
From: Dmitriy Kovalenko <dmtr.kovalenko@outlook.com>
Date: Sat, 27 Apr 2024 17:19:47 +0200
Subject: [PATCH] Manually install odoc for docs building on CI

---
 .github/workflows/build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 73f75308..9cc2002d 100644
--- 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