diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml index ed399fed7..f0db50a9b 100644 --- a/scripts/azure-pipeline.vs.yaml +++ b/scripts/azure-pipeline.vs.yaml @@ -9,7 +9,7 @@ steps: inputs: gitHubConnection: Z3GitHub repositoryName: 'Z3Prover/bin' - action: 'edit' + action: 'create' target: '$(Build.SourceVersion)' tagSource: 'manual' tag: 'nightly'