From b8d28a5d22760861fdfe584dd3c5e16ee5cfae80 Mon Sep 17 00:00:00 2001
From: zapashcanon <leo@ndrs.fr>
Date: Sat, 17 Feb 2024 10:01:43 +0100
Subject: [PATCH] make lint-doc non fatal until odoc is fixed

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6ea46396a..5f5d96318 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -63,8 +63,8 @@ jobs:
           opam exec -- dune runtest
       - name: lint-doc
         run: |
-          ODOC_WARN_ERROR=true opam exec -- dune build @doc 2> output.txt
-          $(exit $(wc -l output.txt | cut -d " " -f1))
+          ODOC_WARN_ERROR=true opam exec -- dune build @doc 2> output.txt || true
+          # $(exit $(wc -l output.txt | cut -d " " -f1))
       - name: lint-fmt
         run: |
           opam exec -- dune build @fmt || (echo "\n⚠️ please run \`dune fmt\` and try again" && exit 1)