Actionlint

fix version of `lean-action` #24

# to view logs

Summary
Jobs
- actionlint
Run details
- Usage
- Workflow file

Triggered via pull request August 1, 2024 08:55

Seasawher

opened #31

fix-version

Status Success

Total duration 22s

Artifacts –

action-lint.yml

on: pull_request