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-22.04  /  Test Toooba ubuntu-22.04 ghc-9.6.6

Build/Test: ubuntu-22.04 / Test Toooba ubuntu-22.04 ghc-9.6.6
succeeded Sep 3, 2024 in 11m 53s