From 78208bdde06538cdd7f7e8721a95c2472fb1793c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 20 Nov 2024 11:33:09 -0800 Subject: [PATCH] [CI] [opam] Work around MacOS / opam / brew issue Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516 --- .github/workflows/coq-opam-package.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index ed87b630b9..cd6fe58c66 100644 --- a/.github/workflows/coq-opam-package.yml +++ b/.github/workflows/coq-opam-package.yml @@ -43,6 +43,14 @@ jobs: OPAMCONFIRMLEVEL: "unsafe-yes" steps: + - name: Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516 + run: | + # Alternative: brew update; brew upgrade; brew install pkgconf + brew unlink pkg-config + brew install pkgconf + brew link pkg-config + if: ${{ runner.os == 'macOS' }} + - name: Set up OCaml uses: ocaml/setup-ocaml@v3 with: