From 3729458d14faf837b50dfb8406879d0a6d39d66c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Nov 2019 19:20:15 -0800
Subject: [PATCH] enable pypi

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

diff --git a/scripts/release.yml b/scripts/release.yml
index 130e577fd..b98e871dd 100644
--- 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.