From 98f0ce8d948732e554ebb777a82a32930c4711a5 Mon Sep 17 00:00:00 2001 From: 0xd34df00d <0xd34df00d@gmail.com> Date: Sun, 24 Jan 2021 14:10:09 -0600 Subject: [PATCH] Check if I need stix-fonts still --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 40c50a74..456895eb 100644 --- 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: |