Skip to content
Permalink
Browse files

Minor fix for PyPi

  • Loading branch information
mikand committed Jan 28, 2020
1 parent beeb442 commit 10fb2bdada2cac96ddd942be613b6b7148f64c06
Showing with 5 additions and 1 deletion.
  1. +5 −1 azure-pipelines.yml
@@ -322,12 +322,16 @@ jobs:
- 'Win2016'
condition: and(succeeded(), eq(variables['build.sourceBranch'], 'refs/heads/master'))
steps:
- task: UsePythonVersion@0
inputs:
versionSpec: '3.7'
architecture: 'x64'
- bash: pip install --upgrade pip
displayName: 'Upgrade PIP'
- bash: pip install wheel
displayName: 'Install Wheel'
- bash: pip install twine
displayName: 'Install Wheel'
displayName: 'Install Twine'
- script: './make_distrib.sh'
displayName: 'Make Distrib'
- script: 'cd dist; zip PySMT*.whl six.py'

0 comments on commit 10fb2bd

Please sign in to comment.
You can’t perform that action at this time.