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

Annotations

1 warning

Build/Test: GHC macOS (9.10.1)  /  Build: macos-14 ghc-9.10.1

succeeded Sep 3, 2024 in 14m 37s