Skip to content

Latest commit

 

History

History
6 lines (5 loc) · 616 Bytes

README.md

File metadata and controls

6 lines (5 loc) · 616 Bytes
Raw

This repository hosts automatically generated Lean toolchains for Lean pull requests.

You should not need to use this repository directly. Instead:

  • Once your Lean pull request has the toolchain-available label,
  • Edit the lean-toolchain file in the project you would like to test your pull request in to say: leanprover/lean4-pr-releases:pr-release-NNNN, where NNNN is the number of your pull request.