Repository navigation
Bump leanprover/lean-action from 1.5.0 to 1.6.0 #973
Triggered via pull request
September 1, 2026 07:36
dependabot[bot]
Status
Success
Total duration
11m 15s
Artifacts
–