microtype

objectionary · Jul 13, 2023 · 19a4e10 · 19a4e10
1 parent 35d5fe6
commit 19a4e10
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml
@@ -17,11 +17,11 @@ jobs:
       - uses: actions/checkout@v3
       - run: |
           sudo apt-get update
-          sudo apt-get -y install ghostscript imagemagick texlive-extra-utils microtype
+          sudo apt-get -y install ghostscript imagemagick texlive-extra-utils
       - uses: teatimeguest/[email protected]
         with:
           update-all-packages: true
-          packages: scheme-basic naive-ebnf
+          packages: scheme-basic naive-ebnf microtype
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'