Fix CI pip version

2023-10-03 13:03:40 +00:00 · 2020-04-22 10:20:59 +02:00
parent 606153ba71
commit 2daa52f18c
1 changed files with 2 additions and 2 deletions
@@ -347,8 +347,8 @@ jobs:
          name: Z3 python deps
          command: |
            apt-get -qq update
-            apt-get -qy install python-pip
-            pip install --user z3-solver
+            apt-get -qy install python3-pip
+            pip3 install --user z3-solver
      - run: *run_proofs

  chk_docs_pragma_min_version: