https://github.com/julian/setup-lean
Set up your GitHub Actions workflow with elan and/or a specific version of Lean
https://github.com/julian/setup-lean
Last synced: 19 days ago
JSON representation
Set up your GitHub Actions workflow with elan and/or a specific version of Lean
- Host: GitHub
- URL: https://github.com/julian/setup-lean
- Owner: Julian
- License: mit
- Created: 2023-11-24T21:20:03.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-05-14T21:16:31.000Z (about 2 months ago)
- Last Synced: 2025-06-07T21:14:54.356Z (about 1 month ago)
- Size: 11.7 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Security: .github/SECURITY.md
Awesome Lists containing this project
README
# setup-lean
This action provides functionality for provisioning the [Lean theorem prover](https://lean-lang.org/) within GitHub actions.
More specifically, it can handle:
* Installing [elan](https://github.com/leanprover/elan), the preferred / community supported tool for managing and installing Lean versions, and thereby any version needed by a specific project
* Installing a specific version (toolchain) of Lean and adding it to the PATH
* TODO: Installing / caching downloaded caches
* TODO: Registering problem matchers for error output
## Basic usage
See [action.yml](action.yml)
```yaml
steps:
- uses: actions/checkout@v4
- uses: actions/setup-lean@v1
- run: lake build
```