Try fixing pip issue

tchajed · Sep 26, 2024 · 4c6526e · 4c6526e
1 parent 1b2e2a5
commit 4c6526e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -32,9 +32,10 @@ jobs:
           install: |
             startGroup Install dependencies
               sudo apt-get update
-              sudo apt-get install -y python3 python3-pip
+              sudo apt-get install -y python3 pipx
               opam install -y coq-serapi
-              python3 -m pip install git+https://github.com/cpitclaudel/alectryon.git
+              pipx install git+https://github.com/cpitclaudel/alectryon.git
+              pipx ensurepath
             endGroup
             startGroup Add Iris repo
               opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git