From b420c6e88b4532f67e1f2e7195f43567d05512ea Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 13 Sep 2023 23:31:30 -0400
Subject: [PATCH] CI

---
 .github/workflows/gh-pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 68ed803..d26a9ce 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -33,7 +33,7 @@ jobs:
         run: opam install -d . --deps-only
 
       - name: Build
-        run: opam exec -- dune build @doc
+        run: opam exec -- dune build @doc --ignored-promoted-rules
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3