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: report that a new version is available #110

Merged
merged 1 commit into from
Jul 26, 2024

Conversation

adriencaccia
Copy link
Member

No description provided.

@adriencaccia adriencaccia force-pushed the chore/notice-newer-version branch 3 times, most recently from af7f4a3 to fc3999a Compare July 26, 2024 13:45
@adriencaccia adriencaccia force-pushed the chore/notice-newer-version branch from fc3999a to 95bdd1a Compare July 26, 2024 13:46
@adriencaccia adriencaccia merged commit 95bdd1a into main Jul 26, 2024
2 checks passed
@adriencaccia adriencaccia deleted the chore/notice-newer-version branch July 26, 2024 13:47
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.

1 participant