diff --git a/scripts/nightly-ubuntu.yaml b/scripts/nightly-ubuntu.yaml index 142e5cdf7..53fbc4b70 100644 --- a/scripts/nightly-ubuntu.yaml +++ b/scripts/nightly-ubuntu.yaml @@ -20,7 +20,7 @@ steps: inputs: gitHubConnection: Z3GitHub repositoryName: 'Z3Prover/z3' - action: 'create' + action: 'edit' target: '$(Build.SourceVersion)' tagSource: 'manual' tag: 'NightlyUbuntu'