Skip to content

GitHub CI: On macOS, install texlive instead of mactex-no-gui #116

GitHub CI: On macOS, install texlive instead of mactex-no-gui

GitHub CI: On macOS, install texlive instead of mactex-no-gui #116

Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0)  /  Build: ubuntu-22.04 ghc-9.8.2

succeeded Sep 3, 2024 in 8m 13s