Update github service connection

Z3Prover · Aug 15, 2022 · 88b3e0c · 88b3e0c
1 parent 88f4664
commit 88b3e0c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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)'