Skip to content

chore: release main - #643

Merged
aversini merged 1 commit into
mainfrom
release-please--branches--main
Aug 8, 2026
Merged

aversini merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@aversini

@aversini aversini commented Aug 8, 2026

Copy link
Copy Markdown
Collaborator

🤖 I have created a release beep boop

timer: 2.1.2

2.1.2 (2026-08-08)

Bug Fixes

  • timer: restore Ctrl+C cancellation while the timer runs (#642) (36ae6e2)

This PR was generated with Release Please. See documentation.

@aversini
aversini merged commit 9fdd995 into main Aug 8, 2026
5 checks passed
@aversini
aversini deleted the release-please--branches--main branch August 8, 2026 22:31
@aversini

aversini commented Aug 8, 2026

Copy link
Copy Markdown
Collaborator Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant