diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml index 201d291fa..08e181bad 100644 --- a/scripts/azure-pipeline.vs.yaml +++ b/scripts/azure-pipeline.vs.yaml @@ -11,7 +11,7 @@ steps: repositoryName: 'Z3Prover/bin' action: 'edit' target: '$(Build.SourceVersion)' - tag: 'nightly' + tag: 'Git tag' title: 'nightly' releaseNotesSource: 'input' releaseNotes: 'nightly build'