mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Update release.yml for Azure Pipelines

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-11-18 16:05:22 -08:00
parent 71d5d2486c
commit 43a827c931
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/release.yml
View file

@ -397,7 +397,7 @@ stages:
artifact: 'PythonPackage' artifact: 'PythonPackage'
path: dist path: dist
- task: DownloadSecureFile@1 - task: DownloadSecureFile@1
name: pypirc name: pypircs
inputs: inputs:
secureFile: 'pypircs' secureFile: 'pypircs'
- script: python3 -m pip install --upgrade pip - script: python3 -m pip install --upgrade pip