setup-lean

This action provides functionality for provisioning the Lean theorem prover within GitHub actions.

More specifically, it can handle:

• Installing 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

steps:
- uses: actions/checkout@v4
- uses: actions/setup-lean@v1
- run: lake build