commit: 76446f0407d976607b2933ed25599c83d30ba808

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Mon Oct 12 14:23:06 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Oct 12 14:23:06 2026 +0000
tree: bc3f01cb479d5c8605c9a3fe13221d78080b076b
parent: 4529c809304b8877a2431b278f775bcef7bfb803 [diff]

test: shrink `ctor_many_fields`

The test took 90s to 210s in CI and exceeded the 1500s timeout of the sanitizer build. The 900-field structure and 700-field inductive type are replaced by sizes just past the second spill object, and cases that only repeated a layout already covered are dropped.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2 files changed

tree: bc3f01cb479d5c8605c9a3fe13221d78080b076b

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.