continue adjusting brew install

lee-orr · Dec 2, 2023 · d7a2ec9 · d7a2ec9
1 parent a17682a
commit d7a2ec9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -68,7 +68,7 @@ jobs:
         run: rustup component add llvm-tools-preview
       - if: ${{ matrix.os == 'macos-latest' }}
         name: Install LLVM
-        run: brew install --force --overwrite python@3.11 z3 llvm
+        run: brew install --force --ignore-dependencies z3 llvm
       - if: ${{ matrix.os == 'ubuntu-latest' }}
         name: Dependencies
         run: sudo apt-get update && sudo apt-get install g++ pkg-config libx11-dev libasound2-dev libudev-dev clang lld
@@ -236,7 +236,7 @@ jobs:
         run: rustup component add llvm-tools-preview
       - if: ${{ matrix.os == 'macos-latest' }}
         name: Install LLVM
-        run: brew install --force --overwrite python@3.11 z3 llvm
+        run: brew install --force --ignore-dependencies z3 llvm
       - if: ${{ matrix.os == 'ubuntu-latest' }}
         name: Dependencies
         run: sudo apt-get update && sudo apt-get install g++ pkg-config libx11-dev libasound2-dev libudev-dev clang lld