chore: use cacheable TeX to speed up CI (#83)

leanprover · Oct 19, 2024 · 44cdbe1 · 44cdbe1
1 parent d194ec1
commit 44cdbe1
Showing 1 changed file with 21 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,9 +16,28 @@ jobs:
       ref-url: ${{ steps.deploy.outputs.deploy-url }}
 
     steps:
-      - name: Install deps for figures
+      - name: Install deps for figures (OS packages)
         run: |
-          sudo apt update && sudo apt install -y texlive-latex-base texlive-pictures texlive-luatex texlive-latex-extra fonts-firacode texlive-fonts-extra poppler-utils
+          sudo apt update && sudo apt install -y fonts-firacode poppler-utils
+
+      - name: Install deps for figures (TeX)
+        uses: teatimeguest/setup-texlive-action@v3
+        with:
+          packages: |
+            scheme-minimal
+            latex-bin
+            fontspec
+            standalone
+            pgf
+            pdftexcmds
+            luatex85
+            infwarerr
+            ltxcmds
+            xcolor
+            fontawesome
+            spath3
+            inter
+            epstopdf-pkg
 
       - name: Install elan
         run: |