Use brew python 3.10 in brew release flow

model-checking · Dec 21, 2022 · 149fc75 · 149fc75
1 parent a01f1c5
commit 149fc75
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/release-brew.yaml b/.github/workflows/release-brew.yaml
@@ -82,9 +82,9 @@ jobs:
         uses: Homebrew/actions/setup-homebrew@master
 
       - name: Set up Python
-        uses: actions/setup-python@v4
-        with:
-          python-version: '3.10'
+        # The GitHub action actions/setup-python@v4 installs CPython 3.10
+        run: |
+          brew install --overwrite python@3.10
 
       - name: Checkout PR
         run: |