From 7e6e96f6aae5b65e15da8604cb7215a4aaec94b2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Aug 2025 11:44:55 -0700
Subject: [PATCH] remove resources directive again

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 50652ae56..63c259397 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -8,13 +8,6 @@ variables:
   NightlyVersion: $(AssemblyVersion)-$(Build.buildId)
   # TODO: Auto-read from VERSION.txt when Azure DevOps supports it better
 
-resources:
-  repositories:
-    - repository: z3
-      type: github
-      name: Z3Prover/z3
-      endpoint: Z3Prover
-
 stages:
 - stage: Build
   jobs: