https://github.com/leanprover/release-index
Index of Lean releases
https://github.com/leanprover/release-index
Last synced: about 1 year ago
JSON representation
Index of Lean releases
- Host: GitHub
- URL: https://github.com/leanprover/release-index
- Owner: leanprover
- Created: 2023-10-26T12:22:50.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2025-02-03T08:51:32.000Z (over 1 year ago)
- Last Synced: 2025-02-16T23:42:05.662Z (over 1 year ago)
- Homepage: http://release.lean-lang.org/
- Size: 2.93 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Lean repository index
=====================
This repository fills with JSON files listing
the lean releases.
It is updated upon new Lean releases (stable, beta, nightly; but not PR
releases) using a GitHub Actions `workflow_dispatch` event. If it stopped working maybe the PAT expired? Then create a new one and set a secret on the lean4 repo.
URLs:
* lists all releases, grouped by release channel.
* lists all stable releases.
* lists all beta releases.
* lists all nightly releases.
Since there are many nightly releases (about one every night), the
`stable.json` is noticably smaller and should be used if it suffices.