From 7b8482a093a6202cc0ec1be5d387c7450d560ffd Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Fri, 15 Aug 2025 09:51:25 -0700
Subject: [PATCH] Remove NugetPublishNightly stage from nightly.yaml (#7787)

* Initial plan

* Remove NugetPublishNightly stage from nightly.yaml

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 scripts/nightly.yaml | 39 +--------------------------------------
 1 file changed, 1 insertion(+), 38 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c4b65c08d..93a7baa77 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -478,42 +478,5 @@ stages:
         isDraft: false
         isPreRelease: true
 
-- stage: NugetPublishNightly
-  jobs:
-   # Publish to nightly feed on Azure
-  - job: NuGetPublishNightly
-    displayName: "Push nuget packages to Azure Feed"
-    steps:
-    - task: NuGetAuthenticate@0
-      displayName: 'NuGet Authenticate'
-    - task: NuGetToolInstaller@0
-      inputs:
-        versionSpec: 5.x
-        checkLatest: false
-    - task: DownloadPipelineArtifact@2
-      displayName: 'Download NuGet x86 Package'
-      inputs:
-        artifact: 'NuGet32'
-        path: $(Agent.TempDirectory)/x86
-    - task: DownloadPipelineArtifact@2
-      displayName: 'Download NuGet x64 Package'
-      inputs:
-        artifact: 'NuGet'
-        path: $(Agent.TempDirectory)/x64
-    - task: NuGetCommand@2
-      displayName: 'NuGet Nightly x64 push'
-      inputs:
-        command: push
-        publishVstsFeed: 'Z3Build/Z3-Nightly-Builds'
-        packagesToPush: $(Agent.TempDirectory)/x64/*.nupkg
-        allowPackageConflicts: true
-    - task: NuGetCommand@2
-      displayName: 'NuGet Nightly x86 push'
-      inputs:
-        command: push
-        publishVstsFeed: 'Z3Build/Z3-Nightly-Builds'
-        packagesToPush: $(Agent.TempDirectory)/x86/*.nupkg
-        allowPackageConflicts: true
-    
-       
+
 # TBD: run regression tests on generated binaries.