Skip to content

fix: reject a zero thread count - #14652

Closed
sankalpsthakur wants to merge 1 commit into
leanprover:masterfrom
sankalpsthakur:agent/reject-zero-threads
Closed

fix: reject a zero thread count#14652
sankalpsthakur wants to merge 1 commit into
leanprover:masterfrom
sankalpsthakur:agent/reject-zero-threads

fix: reject a zero thread count

ab93b8a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-awaiting-mathlib
succeeded Aug 4, 2026 in 4s