commit: f1de0b3e7651035c01fdde4d67d0e025b4dc59fb

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

Thu Nov 07 22:18:37 2024 +0100
committer: GitHub <noreply@github.com>

Thu Nov 07 22:18:37 2024 +0100
tree: 33a26d3c0a2c18acd5794176a5b13eff5804a4af
parent: 9b182625676aa0a535a9b3859c152e6c06d6d90b [diff]

chore: CI: exempt drafts from PR body check

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

1 file changed

tree: 33a26d3c0a2c18acd5794176a5b13eff5804a4af

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).