update

dsyme · dsyme · commit ecb5fea6b362 · 2026-04-30T13:35:31.000+01:00
diff --git a/workflows/lean-squad.md b/workflows/lean-squad.md
@@ -41,6 +41,8 @@ network:
     - "arxiv.org"
     - "leanprover-community.github.io"
     - "leanlang.org"
+    - "lakecache.blob.core.windows.net"
+    - "reservoir.leancache.cloud"
     - ocaml
   
 checkout:
