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: