Add TeX

leanprover · Jul 16, 2024 · f9e7656 · f9e7656
1 parent 6d0e4c5
commit f9e7656
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,6 +16,8 @@ jobs:
       ref-url: ${{ steps.deploy.outputs.deploy-url }}
 
     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
 
       - name: Install elan
         run: |