Check if I need stix-fonts still

0xd34df00d · Jan 24, 2021 · 98f0ce8 · 98f0ce8
1 parent 7ed1801
commit 98f0ce8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -15,7 +15,7 @@ jobs:
         run: |
           sudo apt-get update -y
           sudo apt-get dist-upgrade -y
-          sudo apt-get install -y texlive-full fonts-stix
+          sudo apt-get install -y texlive-full
 
       - name: Install opam
         run: |