Skip to content

Bump leanprover/lean-action from 1.pre.beta to 1.0.0#44

Merged
Seasawher merged 1 commit intomainfrom dependabot/github_actions/leanprover/lean-action-1.0.0Jul 23, 2024

Commits

Commits on Jul 22, 2024