Skip to content

fix: Don't cache timeout/error results in LeanProver#5

Merged
haasonsaas merged 2 commits into
mainfrom
fix/lean-prover-no-cache-timeout
Apr 11, 2026
Merged

fix: Don't cache timeout/error results in LeanProver#5
haasonsaas merged 2 commits into
mainfrom
fix/lean-prover-no-cache-timeout

fix: Move cache.put after try/except to avoid swallowing valid results

38c35c9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar