enable pip

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · May 8, 2020 · 9a44ed8 · 9a44ed8
1 parent 2804b40
commit 9a44ed8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/*
+    - script: python -m twine upload --config-file $(pypirc.secureFilePath) -r $(pypiReleaseServer) dist/*