From 30e7c225cd510400eacd41d0a83e013b835a8ece Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 19 Nov 2019 12:58:44 -0800
Subject: [PATCH] upgrade pip

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/release.yml b/scripts/release.yml
index fd5c052900a..5cb5fcd3dcc 100644
--- 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/*