https://github.com/leanprover/lean4-pr-releases

Automated releases from leanprover/lean4 PRs
https://github.com/leanprover/lean4-pr-releases

Last synced: 2 days ago
JSON representation

Automated releases from leanprover/lean4 PRs

• Host: GitHub
• URL: https://github.com/leanprover/lean4-pr-releases
• Owner: leanprover
• Created: 2023-08-22T08:59:51.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2026-05-19T02:32:51.000Z (13 days ago)
• Last Synced: 2026-05-19T02:39:01.260Z (13 days ago)
• Size: 6.33 GB
• Stars: 2
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
This repository hosts automatically generated Lean [toolchains](https://github.com/leanprover/elan#elan-lean-version-manager) for Lean [pull requests](https://github.com/leanprover/lean4/pulls).

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

* Once your Lean pull request has the [`toolchain-available`](https://github.com/leanprover/lean4/pulls?q=is%3Apr+is%3Aopen+label%3Atoolchain-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.