From 12e74783b6f92e1410fdc57ebeaceef5a18ac07d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Aug 2025 11:40:53 -0700
Subject: [PATCH] add resources

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

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 63c259397..50652ae56 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -8,6 +8,13 @@ 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: