diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 0068344b0..932fc778e 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -465,9 +465,9 @@ stages: continueOnError: true inputs: gitHubConnection: Z3Prover - repositoryName: 'Z3Prover/z3' + repositoryName: $(Build.Repository.Name) action: 'create' -# target: '$(Build.SourceVersion)' + target: '$(Build.SourceVersion)' tagSource: 'userSpecifiedTag' tag: 'Nightly' title: 'Nightly'