Merge PR coq#19909: Fix macos again

Reviewed-by: proux01 Ack-by: mseri Co-authored-by: proux01 <[email protected]>
SkySkimmer · Dec 10, 2024 · 9462ff6 · 9462ff6
2 parents 5a350f1 + d083a3a
commit 9462ff6
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/.github/workflows/ci-macos.yml b/.github/workflows/ci-macos.yml
@@ -12,13 +12,6 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
-      - name: homebrew outdated pkg-config fix
-        run: |
-          brew update
-          brew upgrade
-          brew install pkgconf
-          # work around https://github.com/actions/runner-images/issues/10984
-
       - name: Install system dependencies
         run: |
           brew install gnu-time opam gtksourceview3 adwaita-icon-theme expat libxml2