From f6ce925ca520551819f49dc6f6514a06f0b0b7c8 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 20 Nov 2024 14:04:08 -0800 Subject: [PATCH] [CI] [opam] [MacOS] fix kludge for pkg-conf --- .github/workflows/coq-opam-package.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index cd6fe58c66..6ab89db6f9 100644 --- a/.github/workflows/coq-opam-package.yml +++ b/.github/workflows/coq-opam-package.yml @@ -48,6 +48,7 @@ jobs: # Alternative: brew update; brew upgrade; brew install pkgconf brew unlink pkg-config brew install pkgconf + brew unlink pkgconf brew link pkg-config if: ${{ runner.os == 'macOS' }}