From 359d66b5791814c3531b76ac51cc1334e70038ae Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 19 Dec 2020 18:42:32 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

---
 scripts/nightly.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 19140366e..00bb11c35 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -102,7 +102,6 @@ jobs:
   - Ubuntu
   - Windows32
   - Windows64
-  - NuGet
   pool:
     vmImage: "windows-latest"
   steps: