From 1de0a1462837894b7d6b4a3d5fef9777d1a9a971 Mon Sep 17 00:00:00 2001 From: Julie Schwartz Date: Tue, 3 Sep 2024 13:44:00 +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 79a50b46..0842a830 100755 --- 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