add leancache

dsyme · dsyme · commit 04962fee474f · 2026-04-30T08:54:26.000+01:00
diff --git a/workflows/lean-squad.md b/workflows/lean-squad.md
@@ -41,6 +41,7 @@ network:
     - "arxiv.org"
     - "leanprover-community.github.io"
     - "leanlang.org"
+    - "lakecache.blob.core.windows.net"
     - ocaml
   
 engine:
