commit: 99f514dc5ef5f0cbad9eb89808681acae65df735

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Tue Feb 04 10:46:26 2025 +1100
committer: GitHub <noreply@github.com>

Mon Feb 03 23:46:26 2025 +0000
tree: d5ed951331fe141f9774c0e0f6e629c7fdd66fa9
parent: 838dcc496f518e9572bb4908b133bf31bfb5f6e7 [diff]

chore: release_checklist.py checks for bump/v4.X.0 branches (#6933)

Some downstream repositories require a `bump/v4.X.0` branch to exist for
their integration CI. This PR updates `release_checklist.py` to check
for the existence of these branches, when needed.

3 files changed

tree: d5ed951331fe141f9774c0e0f6e629c7fdd66fa9

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).