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' }}