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 ubuntu-20.04 ghc-9.6.6

Build/Test: ubuntu-20.04 / Test ubuntu-20.04 ghc-9.6.6
succeeded Sep 4, 2024 in 1h 12m 47s