chore: install cadical in CI

leanprover · Aug 5, 2024 · 2c8c2d4 · 2c8c2d4
1 parent d71d7bc
commit 2c8c2d4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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