diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 3702d766..ffb773c3 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -26,7 +26,7 @@ jobs:
         run: opam pin -n .
 
       - name: Depext
-        run: opam depext -yt sidekick sidekick-arith
+        run: opam depext -yt sidekick sidekick-base
 
       - name: Deps
         run: opam install -d . --deps-only