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 Ubuntu (9.10.1)  /  Test Toooba ubuntu-22.04 ghc-9.10.1

Build/Test: GHC Ubuntu (9.10.1) / Test Toooba ubuntu-22.04 ghc-9.10.1
succeeded Sep 3, 2024 in 11m 53s