Lualatex and emojis#363

Merged

pehrsoderman merged 2 commits intoKattis:masterfrom

gkreitz:lualatex_and_emojis

Nov 13, 2025

Commits on Nov 13, 2025

Replace pdflatex with lualatex. Support emojis.
gkreitz
committed
Temporarily install new dependencies (to be removed when PR is merged and githubci image is updated)
gkreitz
committed