Update coq-macos.yml

mit-plv · Nov 20, 2024 · 6072f75 · 6072f75
1 parent c01430c
commit 6072f75
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
@@ -54,6 +54,7 @@ jobs:
         # 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