Skip to content

fix: return the right exit code from lean on 32-bit targets - #16137

Merged
hargoniX merged 1 commit into
leanprover:masterfrom
basvandijk:fix-shell-exit-code-32bit
Nov 2, 2026
Merged

fix: return the right exit code from lean on 32-bit targets#16137
hargoniX merged 1 commit into
leanprover:masterfrom
basvandijk:fix-shell-exit-code-32bit

fix: return the right exit code from `lean` on 32-bit targets

2cd88bf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
check-pr-body
succeeded Oct 31, 2026 in 5s