This repository has been archived by the owner on Nov 29, 2024. It is now read-only.
Bump leanprover/lean-action from 1.pre.beta to 1.1.1#93
Merged
Seasawher merged 1 commit intomainfrom dependabot/github_actions/leanprover/lean-action-1.1.1Nov 29, 2024
+1-1
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}