CI: add pin to installation step (temporary)

upkie · Aug 7, 2023 · e209e07 · e209e07
1 parent 5c9883d
commit e209e07
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/pypi.yml b/.github/workflows/pypi.yml
@@ -1,4 +1,4 @@
-name: PyPI install
+name: PyPI
 
 on:
     push:
@@ -8,7 +8,7 @@ on:
 
 jobs:
     pypi:
-        name: "PyPI install"
+        name: "Install from PyPI"
         runs-on: ubuntu-latest
         steps:
             - name: "Checkout sources"
@@ -17,6 +17,7 @@ jobs:
             - name: "Install dependencies"
               run: |
                   python -m pip install --upgrade pip
+                  python -m pip install pin  # TODO(scaron): remove
                   python -m pip install upkie
 
             - name: "Install PyPI package"