commit: 3aeeac618851cd685694ce160c7bf664047c21ff

[log]
author: Kim Morrison <kim@tqft.net>

Tue Feb 17 01:46:13 2026 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Feb 17 01:46:13 2026 +1100
tree: 8d0f0cbb2f43d765b54b071e5cc519850e64c8fe
parent: 473641224b92d972df1c1d7584b11669b94c3650 [diff]

fix: address review feedback for ProofWidgets4 pin update

- Fix docstring: says "matches exactly" instead of ">="
- Increase tag search limit from 10 to 20
- Add 30s timeout to HTTP requests
- Scope regex to ProofWidgets4 dependency line only
- Simplify API base URL construction

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

script/release_steps.py[diff]

1 file changed

tree: 8d0f0cbb2f43d765b54b071e5cc519850e64c8fe

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.