Skip to content
CI

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

Sign in to view logs

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 macOS (9.4.8, 2.7.0.0)  /  Test bdw macos-14 ghc-9.4.8

Build/Test: GHC macOS (9.4.8, 2.7.0.0) / Test bdw macos-14 ghc-9.4.8
succeeded Sep 3, 2024 in 43s