Skip to content

Limit each Lean file's build time in CI (60 min hard, 600 s per changed file) - #773

Open
Vilin97 wants to merge 2 commits into
mainfrom
vasil/lean-file-time-limits
Open

Limit each Lean file's build time in CI (60 min hard, 600 s per changed file)#773
Vilin97 wants to merge 2 commits into
mainfrom
vasil/lean-file-time-limits

Commits

  1. Commits on Nov 7, 2026