chore(Cache): enable FRO cache (leanprover-community#17)

tydeu · web-flow · commit 1da13d9aa6ef · 2025-07-28T22:21:10.000+10:00
diff --git a/Cache/Requests.lean b/Cache/Requests.lean
@@ -210,8 +210,8 @@ def getRemoteRepo (mathlibDepPath : FilePath) : IO RepoInfo := do
   IO.println s!"Using cache from {remoteName}: {repo}"
   return {repo := repo, useFirst := false}
 
--- FRO cache is flaky so disable until we work out the kinks: https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/The.20cache.20doesn't.20work/near/411058849
-def useFROCache : Bool := false
+-- FRO cache may be flaky: https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/The.20cache.20doesn't.20work/near/411058849
+def useFROCache : Bool := true
 
 /-- Public URL for mathlib cache -/
 def URL : String :=
