diff --git a/.github/workflows/build-slides.yml b/.github/workflows/build-slides.yml index 47e78b98..3e01bb31 100644 --- a/.github/workflows/build-slides.yml +++ b/.github/workflows/build-slides.yml @@ -20,6 +20,10 @@ 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