chore: remove some TeX deps from CI (#6)

Speeds up CI significantly
leanprover · Jul 17, 2024 · 3f7d192 · 3f7d192
1 parent 5dfacb2
commit 3f7d192
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,7 +18,7 @@ jobs:
     steps:
       - name: Install deps for figures
         run: |
-          sudo apt update && sudo apt install -y pandoc texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-luatex fonts-dejavu texlive-fonts-recommended texlive-fonts-extra fonts-firacode poppler-utils
+          sudo apt update && sudo apt install -y texlive-latex-base texlive-pictures texlive-luatex texlive-latex-extra fonts-firacode texlive-fonts-extra poppler-utils
 
       - name: Install elan
         run: |