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