upgrade pip

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Nov 19, 2019 · 30e7c22 · 30e7c22
1 parent f170e65
commit 30e7c22
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -141,6 +141,7 @@ jobs:
     name: pypirc
     inputs:
       secureFile: 'pypirc'
+  - script: pip install --upgrade pip
   - script: python -m pip install --user -U setuptools importlib_metadata wheel twine 
 # Uncomment on release:
   - script: python -m twine upload --config-file $(pypirc.secureFilePath) -r $(pypiReleaseServer) dist/*