From 666b9fafc8941a4e36c39a5d62f3a4aebdf0e2da Mon Sep 17 00:00:00 2001 From: Julie Schwartz Date: Tue, 17 Sep 2024 11:11:47 +1200 Subject: [PATCH] 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). --- .github/workflows/install_dependencies_doc_macos.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/install_dependencies_doc_macos.sh b/.github/workflows/install_dependencies_doc_macos.sh index 6807b47..9f33ea5 100755 --- a/.github/workflows/install_dependencies_doc_macos.sh +++ b/.github/workflows/install_dependencies_doc_macos.sh @@ -1,3 +1,3 @@ #!/usr/bin/env bash -brew install mactex-no-gui +brew install texlive