diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index cdfb36d38..2111ef4cc 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -575,7 +575,7 @@ stages: repositoryName: 'Z3Prover/z3' action: 'delete' # target: '$(Build.SourceVersion)' - tagSource: 'manual' + tagSource: 'gitTag' tag: 'Nightly' - task: GitHubRelease@1 continueOnError: true @@ -584,7 +584,7 @@ stages: repositoryName: 'Z3Prover/z3' action: 'create' # target: '$(Build.SourceVersion)' - tagSource: 'manual' + tagSource: 'gitTag' tag: 'Nightly' title: 'Nightly' releaseNotesSource: 'input' diff --git a/scripts/release.yml b/scripts/release.yml index b6acaca49..a28cd594c 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -576,7 +576,7 @@ stages: repositoryName: $(Build.Repository.Name) action: 'create' target: '$(Build.SourceVersion)' - tagSource: 'manual' + tagSource: 'gitTag' tag: 'z3-$(ReleaseVersion)' title: 'z3-$(ReleaseVersion)' releaseNotesSource: 'input'