Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: upgrade lean-action to v1 #147

Merged

Conversation

austinletson
Copy link
Contributor

No description provided.

@Seasawher
Copy link
Contributor

Seasawher commented Jul 30, 2024

@austinletson How about using dependabot?

It automatically creates an update PR for each new release of lean-action. The same is true for other repositories that rely on lean-action.

see #148

@JLimperg JLimperg merged commit c58092f into leanprover-community:master Jul 30, 2024
2 checks passed
@JLimperg
Copy link
Collaborator

Thanks!

@austinletson
Copy link
Contributor Author

@Seasawher that is a great idea. Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants