[CI] [opam] [MacOS] fix kludge for pkg-conf

mit-plv · Nov 20, 2024 · f6ce925 · f6ce925
1 parent 78208bd
commit f6ce925
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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' }}