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 · fa289f5 · fa289f5
1 parent 9601e42
commit fa289f5
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