enable pypi

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
VeriFIT · Nov 19, 2019 · 3729458 · 3729458
1 parent dde8da8
commit 3729458
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -143,7 +143,7 @@ jobs:
       secureFile: 'pypirc'
   - script: python -m pip install --user -U setuptools 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/*
 
 
 # TBD: run regression tests on generated binaries.