From 3f7d192b03d62a48717b026678ff4cf80db44473 Mon Sep 17 00:00:00 2001 From: David Thrane Christiansen Date: Wed, 17 Jul 2024 16:55:05 +0200 Subject: [PATCH] chore: remove some TeX deps from CI (#6) Speeds up CI significantly --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9a6ed55..ac0bf30 100644 --- 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: |