diff --git a/.github/workflows/build-slides.yml b/.github/workflows/build-slides.yml index 47e78b98..95a3eb90 100644 --- a/.github/workflows/build-slides.yml +++ b/.github/workflows/build-slides.yml @@ -20,6 +20,11 @@ jobs: matrix: version: [ essentials, full ] steps: + # https://github.com/gpoore/minted/issues/401 + - name: Reinstall minted + run: | + tlmgr uninstall minted + tlmgr install minted - name: Set up Git repository uses: actions/checkout@v4 - name: Compile essentials