From a16b32f0588734dbb33efded400488f3abbc8d89 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 20 Nov 2024 18:30:56 -0800 Subject: [PATCH] Work around issue with brew and opam (#1989) Work around https://github.com/ocaml/opam-repository/pull/26891#issuecomment-2486598516 --- .github/workflows/coq-macos.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml index d4cdf283c4..902edde325 100644 --- a/.github/workflows/coq-macos.yml +++ b/.github/workflows/coq-macos.yml @@ -49,6 +49,13 @@ jobs: with: ocaml-compiler: ${{ matrix.ocaml-compiler }} + - 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 unlink pkgconf + brew link pkg-config - name: Install system dependencies run: brew install gnu-time gnu-sed coreutils grep - run: opam update