GitHub CI: On macOS, install texlive instead of mactex-no-gui

This saves disk space and appears to run faster as well. It works around an issue with GitHub's macos-14 runner image, that has less free disk space due to more software being installed in the recent release (see actions/runner-images issue 10511).
B-Lang-org · Sep 3, 2024 · 1de0a14 · 1de0a14
1 parent 3840ef9
commit 1de0a14
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/install_dependencies_doc_macos.sh b/.github/workflows/install_dependencies_doc_macos.sh
@@ -2,4 +2,4 @@
 
 brew update
 
-brew install mactex-no-gui
+brew install texlive