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: macos-13  /  Test bsc-contrib macos-13 ghc-9.6.6

succeeded Sep 4, 2024 in 6m 23s