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: ubuntu-20.04  /  Test bsc-contrib ubuntu-20.04 ghc-9.6.6

Build/Test: ubuntu-20.04 / Test bsc-contrib ubuntu-20.04 ghc-9.6.6
succeeded Sep 3, 2024 in 3m 0s