commit: 6ce63abdf5f4465447f9cb9bb2bae4ec8bced141

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Tue Nov 28 18:00:50 2023 +0100
committer: Joachim Breitner <mail@joachim-breitner.de>

Tue Nov 28 18:00:50 2023 +0100
tree: aeb06542392b5d995458c44c06bc963999d1a4de
parent: 8e131cff009d8b21f95fb86be4006018f455c949 [diff]

Turn this into a failing status

.github/workflows/pr-title.yml[diff]

1 file changed

tree: aeb06542392b5d995458c44c06bc963999d1a4de

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.