diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index ffb773c3..ee446be9 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -32,7 +32,7 @@ jobs:
         run: opam install -d . --deps-only
 
       - name: Build
-        run: opam exec -- dune build @doc
+        run: opam exec -- dune build @doc --ignore-promoted-rules
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
diff --git a/sidekick-base.opam b/sidekick-base.opam
index d9af9335..2db7f48d 100644
--- a/sidekick-base.opam
+++ b/sidekick-base.opam
@@ -21,6 +21,7 @@ depends: [
   "qcheck" {with-test & >= "0.16" }
   "odoc" {with-doc}
   "mdx" {with-test}
+  # "bare_encoding" {with-doc}
 ]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"