diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 98a378e5910..d935d9d89de 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -506,7 +506,7 @@ stages: - task: GitHubRelease@0 continueOnError: true inputs: - gitHubConnection: Z3GitHub + gitHubConnection: Z3-Pipeline-Github repositoryName: 'Z3Prover/z3' action: 'delete' # target: '$(Build.SourceVersion)' @@ -515,7 +515,7 @@ stages: - task: GitHubRelease@0 continueOnError: true inputs: - gitHubConnection: Z3GitHub + gitHubConnection: Z3-Pipeline-Github repositoryName: 'Z3Prover/z3' action: 'create' # target: '$(Build.SourceVersion)' diff --git a/scripts/release.yml b/scripts/release.yml index 969e3697e52..92ff9e14bf2 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -485,7 +485,7 @@ stages: path: $(Agent.TempDirectory) - task: GitHubRelease@0 inputs: - gitHubConnection: Z3GitHub + gitHubConnection: Z3-Pipeline-Github repositoryName: $(Build.Repository.Name) action: 'create' target: '$(Build.SourceVersion)'