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: 4 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 (12 months ago)
• Default Branch: main
• Last Pushed: 2023-11-25T21:09:23.000Z (12 months ago)
• Last Synced: 2024-10-18T10:07:42.978Z (26 days ago)
• Language: Python
• Size: 7.81 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

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

```