From 9a44ed854b86dd4066c00b64291c46e17c52993c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 8 May 2020 12:34:07 -0700 Subject: [PATCH] enable pip Signed-off-by: Nikolaj Bjorner --- scripts/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/release.yml b/scripts/release.yml index d99c289f3..4b13d2e4c 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -319,4 +319,4 @@ stages: - 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/* \ No newline at end of file + - script: python -m twine upload --config-file $(pypirc.secureFilePath) -r $(pypiReleaseServer) dist/* \ No newline at end of file