From 6072f75f4e20ffa891487aa2b81d5394ad0c4f47 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 20 Nov 2024 14:02:01 -0800 Subject: [PATCH] Update coq-macos.yml --- .github/workflows/coq-macos.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml index 63d5ea3608..902edde325 100644 --- a/.github/workflows/coq-macos.yml +++ b/.github/workflows/coq-macos.yml @@ -54,6 +54,7 @@ jobs: # Alternative: brew update; brew upgrade; brew install pkgconf brew unlink pkg-config brew install pkgconf + brew unlink pkgconf brew link pkg-config - name: Install system dependencies run: brew install gnu-time gnu-sed coreutils grep