From 8d56c85505f01b651a1f3da8caa195a8f36d239c Mon Sep 17 00:00:00 2001 From: Michael Herstine Date: Sun, 2 Jul 2023 08:13:32 -0700 Subject: [PATCH] Fix CI --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 70ebc9d..a50b707 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -85,11 +85,11 @@ jobs: run: | set -x pwd + brew cleanup # Will exit with non-zero status if it finds problems, but can be handy # for trouble-shooting: brew doctor brew update - brew cleanup brew upgrade brew install autoconf automake libtool openssl doxygen flex bison graphviz texinfo brew install --cask basictex