Skip to content

Release 368
Compare
Choose a tag to compare
@github-actions github-actions released this 01 Aug 15:23
· 37 commits to main since this release
release-368
b71adc9
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
Make minted custom lexers work again (#37)

minted 2.7 changed its behaviour to not allow for custom command
line options, which broke our custom lexer definitions. Here is
a similar bug reported: https://github.com/gpoore/minted/issues/360.

This commit adds a new minted option that allows custom lexers to work
wiht newer texlive distributions. We also enhance our CI to check that
the paper builds with old and new textlive distributions.
Assets 4
Loading