Lean Action - CI for Lean Projects
Actively maintainedleanprover/lean-action · Apache-2.0
GitHub action for standard CI in Lean projects
★ 50 starsLast commit 17 days agoLatest v1.6.2
C
65
/ 100
Security signals
OpenSSF ScorecardNo data
SECURITY.md presentNo
Immutable releasesNot enabled
Known vulnerabilitiesNone on record
How to use it safely
Recommended: pin to commit SHA
uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 # v1.6.2Mutable tags like v1.6.2 can be rewritten to point at malicious commits. Pinning to the full commit SHA is the only reference GitHub guarantees immutable.
Full workflow example
steps: - uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 # v1.6.2
Score breakdown
Security (35%)50
Popularity (20%)39
Maintenance (30%)96
Reliability (15%)70
Add this badge to your README
Markdown
[](https://actionrank.dev/actions/leanprover-lean-action)HTML version
HTML
<a href="https://actionrank.dev/actions/leanprover-lean-action"><img src="https://actionrank.dev/api/badge/leanprover-lean-action" alt="ActionRank score"></a>Free to use, no attribution required — the badge updates itself as the score changes. How badges work