diff --git a/scripts/nightly-windows.yaml b/scripts/nightly-windows.yaml index 6ebecd3a9..fccf6a877 100644 --- a/scripts/nightly-windows.yaml +++ b/scripts/nightly-windows.yaml @@ -20,10 +20,10 @@ steps: inputs: gitHubConnection: Z3GitHub repositoryName: 'Z3Prover/z3' - action: 'create' + action: 'edit' target: '$(Build.SourceVersion)' tagSource: 'manual' - tag: '$(Build.SourceVersion)' + tag: 'NightlyWindows' title: 'Nightly Windows' releaseNotesSource: 'input' releaseNotes: 'nightly build'