Commit 2024-05-14 09:58 ed65b090

View on Github →

chore: run lean4checker cron frequently while we're debugging (#12888)

Estimated changes