pool:
  vmImage: "vs2017-win2016"

steps:

- script: echo "test" > $(Build.ArtifactStagingDirectory)/ping.txt

- task: GitHubRelease@0
  inputs:
    gitHubConnection: Z3GitHub
    repositoryName: 'Z3Prover/z3'
    action: 'create'
    target: '$(Build.SourceVersion)'
    tagSource: 'manual'
    tag: '$(Build.SourceVersion)'
    title: 'nightly'
    releaseNotesSource: 'input'
    releaseNotes: 'nightly build'
    isDraft: true
    isPreRelease: true

# - script: git clone https://github.com/z3prover/bin bin

# - task: DotNetCoreInstaller@0
#  displayName: 'Use .NET Core sdk 2.1'
#  inputs:
#    version: 2.1.300

# - task: DownloadSecureFile@1
#  inputs:
#    secureFile: 'z3.snk'

# - script: scripts\mk_win_dist.cmd