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

fix spelling of target folder

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-07-11 09:56:08 +01:00
parent 9474833c98
commit c7fb1e4c9f
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

@ -72,7 +72,7 @@ jobs:
- task: CopyFiles@2 - task: CopyFiles@2
inputs: inputs:
sourceFolder: $(Build.ArtifactStagingDirectory) sourceFolder: $(Build.ArtifactStagingDirectory)
targetFilder: tmp targetFolder: tmp
# TBD: build NuGet package # TBD: build NuGet package
# TBD: this script should build a specific pre-specified tag # TBD: this script should build a specific pre-specified tag
- task: GitHubRelease@0 - task: GitHubRelease@0