From dc420332b8c3d680e82d02797802a5bfe9f9d8db Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 8 Jun 2025 20:51:06 -0700 Subject: [PATCH] use userSpecifiedTag instead of gitTag Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 4 ++-- scripts/release.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 2111ef4cc..db62beed2 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -575,7 +575,7 @@ stages: repositoryName: 'Z3Prover/z3' action: 'delete' # target: '$(Build.SourceVersion)' - tagSource: 'gitTag' + tagSource: 'userSpecifiedTag' tag: 'Nightly' - task: GitHubRelease@1 continueOnError: true @@ -584,7 +584,7 @@ stages: repositoryName: 'Z3Prover/z3' action: 'create' # target: '$(Build.SourceVersion)' - tagSource: 'gitTag' + tagSource: 'userSpecifiedTag' tag: 'Nightly' title: 'Nightly' releaseNotesSource: 'input' diff --git a/scripts/release.yml b/scripts/release.yml index a28cd594c..3c79de5e4 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -576,7 +576,7 @@ stages: repositoryName: $(Build.Repository.Name) action: 'create' target: '$(Build.SourceVersion)' - tagSource: 'gitTag' + tagSource: 'userSpecifiedTag' tag: 'z3-$(ReleaseVersion)' title: 'z3-$(ReleaseVersion)' releaseNotesSource: 'input'