From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 18 Nov 2020 00:01:55 +0000 (-0800)
Subject: ci: Simplify Python dependency installs for Linux and macOS. (#5458)
X-Git-Tag: cvc5-1.0.0~2592
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7ffc3650a44859a51384eebbecb51bf199495102;p=cvc5.git

ci: Simplify Python dependency installs for Linux and macOS. (#5458)
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 04b36130e..acc13c2ee 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -90,24 +90,14 @@ jobs:
         python3 -m pip install pexpect
         echo "/usr/local/opt/ccache/libexec" >> $GITHUB_PATH
 
-    - name: Install Cython
-      if: matrix.python-bindings && runner.os == 'Linux'
-      run: |
-        python3 -m pip install \
-          Cython==0.29.* --install-option="--no-cython-compile"
-        echo "$(python3 -m site --user-base)/bin" >> $GITHUB_PATH
-
-    - name: Install Cython (macOS)
-      if: matrix.python-bindings && runner.os == 'macOS'
-      run: |
-        python3 -m pip install \
-          Cython==0.29 --install-option="--no-cython-compile"
-
-    - name: Install Pytest
+    - name: Install Python Dependencies
       if: matrix.python-bindings
       run: |
         python3 -m pip install pytest
         python3 -m pytest --version
+        python3 -m pip install \
+          Cython==0.29.* --install-option="--no-cython-compile"
+        echo "$(python3 -m site --user-base)/bin" >> $GITHUB_PATH
 
     - name: Restore Dependencies
       id: restore-deps