Skip to content

Release v1.0.9 - #102

Merged
juandiii merged 1 commit into
mainfrom
release/v1.0.9
Oct 13, 2026
Merged

juandiii merged 1 commit into
mainfrom
release/v1.0.9

Conversation

@juandiii

Copy link
Copy Markdown
Owner

Release v1.0.9

Milestone: Fix v1.0.9

PRs included

• Fix (#101) @juandiii

Checklist

  • CHANGELOG looks correct
  • Tests pass
  • Ready to publish

Merge this PR to deploy and tag the release.
Close without merging to abort.

@juandiii juandiii added this to the Fix v1.0.9 milestone Oct 13, 2026
@juandiii juandiii added the release Release candidate PR label Oct 13, 2026
@github-actions github-actions Bot added the chore label Oct 13, 2026
@juandiii
juandiii merged commit 4e3f563 into main Oct 13, 2026
5 checks passed
@github-actions
github-actions Bot deleted the release/v1.0.9 branch October 13, 2026 01:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore release Release candidate PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant