Add missing latex packages.

Signed-off-by: Karolis Petrauskas <[email protected]>
tlaplus · Dec 23, 2023 · 280559e · 280559e
1 parent 13bf0e3
commit 280559e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -22,7 +22,7 @@ jobs:
               if: matrix.operating-system == 'ubuntu-latest'
               run: |
                 sudo apt-get update
-                sudo apt-get install --yes time texlive-latex-base
+                sudo apt-get install --yes time texlive-latex-base texlive-plain-generic
             - name: Set up Python
               uses: actions/setup-python@v2
               with:

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -26,7 +26,7 @@ jobs:
               if: matrix.operating-system == 'ubuntu-latest'
               run: |
                 sudo apt-get update
-                sudo apt-get install --yes time texlive-latex-base
+                sudo apt-get install --yes time texlive-latex-base texlive-plain-generic
             - name: Set up Python
               uses: actions/setup-python@v2
               with:

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -71,7 +71,7 @@ jobs:
               if: matrix.operating-system == 'ubuntu-latest'
               run: |
                 sudo apt-get update
-                sudo apt-get install --yes time texlive-latex-base
+                sudo apt-get install --yes time texlive-latex-base texlive-plain-generic
             - name: Set up Python
               uses: actions/setup-python@v2
               with: