Skip to content

Release v1.0.7#21

Merged
juandiii merged 1 commit intomainfrom
release/v1.0.7
Mar 25, 2026
Merged

Release v1.0.7#21
juandiii merged 1 commit intomainfrom
release/v1.0.7

Conversation

@juandiii
Copy link
Copy Markdown
Owner

@juandiii juandiii commented Mar 25, 2026

Release v1.0.7

Milestone: v1.0.7

PRs included

• fix: adjust workflow github (#20) @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 v1.0.7 milestone Mar 25, 2026
@juandiii juandiii added the release Release candidate PR label Mar 25, 2026
@github-actions github-actions Bot added the chore label Mar 25, 2026
@juandiii juandiii merged commit d46d1f8 into main Mar 25, 2026
5 checks passed
@juandiii juandiii deleted the release/v1.0.7 branch March 25, 2026 12:17
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