From b95ba89dbe94f9c3822aaedb7d36e05065420541 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 18 Nov 2021 13:09:13 -0800 Subject: [PATCH] update release pipeline Signed-off-by: Nikolaj Bjorner --- scripts/release.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/release.yml b/scripts/release.yml index 7b989038a..faeb2a1c6 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -309,7 +309,7 @@ stages: jobs: - job: GitHubPublish - condition: eq(1,1) + condition: eq(0,1) displayName: "Publish to GitHub" pool: vmImage: "windows-latest" @@ -399,7 +399,7 @@ stages: - task: DownloadSecureFile@1 name: pypirc inputs: - secureFile: 'pypirc' + secureFile: 'pypirc2' - script: python3 -m pip install --upgrade pip - script: python3 -m pip install --user -U setuptools importlib_metadata wheel twine - - script: python3 -m twine upload --config-file $(pypirc.secureFilePath) -r $(pypiReleaseServer) dist/* \ No newline at end of file + - script: python3 -m twine upload --config-file $(pypirc2.secureFilePath) -r $(pypiReleaseServer) dist/* \ No newline at end of file