From 4b9623820943c298657948e278723aa0677ebb99 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Sep 2019 09:57:03 -0700
Subject: [PATCH] use testpypi

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

diff --git a/scripts/release.yml b/scripts/release.yml
index d9101ce18..1616711b2 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -137,11 +137,11 @@ jobs:
       artifactName: 'Python packages'
       targetPath: dist
   - task: DownloadSecureFile@1
-    name: pypirc
+    name: testpypirc
     inputs:
-      secureFile: 'pypirc'
+      secureFile: 'testpypirc'
   - script: python -m pip install --user -U setuptools wheel twine
-  - script: python -m twine upload --config-file $(pypirc.secureFilePath) -r $(pypiReleaseServer) dist/*
+  - script: python -m twine upload --config-file $(testpypirc.secureFilePath) -r $(pypiReleaseServer) dist/*
 
 
 # TBD: run regression tests on generated binaries.