diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 50217f0d..1cd4d269 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -23,6 +23,10 @@ jobs:
           use-mathlib-cache: false
           use-github-cache: true
 
+      - uses: Install cadical
+      - run: |
+          sudo apt-get install -y cadical
+
       - name: Generate docs 
         run: |
           ./docgen.sh