Add missing font for GitHub workflow

gusbrs · Nov 26, 2024 · 9c73255 · 9c73255
1 parent 1893dff
commit 9c73255
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -47,6 +47,9 @@ env:
     babel-dutch
     babel-italian
     babel-russian
+    cm-super
+    cyrillic
+    t2
     babel-swedish
     beamer
     bookmark