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.4.8, 2.7.0.0)  /  Test bsc-contrib ubuntu-22.04 ghc-9.4.8

succeeded Sep 3, 2024 in 2m 52s