This repository has been archived by the owner on Aug 29, 2024. It is now read-only.
chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.2#137
Open
dependabot[bot] wants to merge 1 commit intomainfrom dependabot/github_actions/leanprover/lean-action-1.0.2
+1-1
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}