Skip to content

Fix timeout bug for LEAN4 code execution#647

Merged
Kipok merged 3 commits into
mainfrom
fchen97/fixlean4
Aug 7, 2025
Merged

Fix timeout bug for LEAN4 code execution#647
Kipok merged 3 commits into
mainfrom
fchen97/fixlean4

Merge branch 'main' into fchen97/fixlean4

0a0f1ee
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 7, 2025 in 0s

DCO

All commits are signed off!

View more details on DCO