From 35d5fe6b922c5557889ed9880a9073d67a752279 Mon Sep 17 00:00:00 2001 From: Yegor Bugayenko Date: Thu, 13 Jul 2023 08:55:53 +0300 Subject: [PATCH] microtype --- .github/workflows/ebnf.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml index 06131d02a2..74831c0915 100644 --- a/.github/workflows/ebnf.yml +++ b/.github/workflows/ebnf.yml @@ -17,7 +17,7 @@ jobs: - uses: actions/checkout@v3 - run: | sudo apt-get update - sudo apt-get -y install ghostscript imagemagick texlive-extra-utils + sudo apt-get -y install ghostscript imagemagick texlive-extra-utils microtype - uses: teatimeguest/setup-texlive-action@v2.6.0 with: update-all-packages: true