Skip to content

Release v1.0.2#54

Merged
juandiii merged 1 commit intomainfrom
release/v1.0.2
Apr 1, 2026
Merged

Release v1.0.2#54
juandiii merged 1 commit intomainfrom
release/v1.0.2

Conversation

@juandiii
Copy link
Copy Markdown
Owner

@juandiii juandiii commented Apr 1, 2026

Release v1.0.2

Milestone: v1.0.2

PRs included

• fix: maven ark-quarkus-jackson (#53) @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.2 milestone Apr 1, 2026
@juandiii juandiii added the release Release candidate PR label Apr 1, 2026
@github-actions github-actions bot added the chore label Apr 1, 2026
@juandiii juandiii merged commit 20fcf13 into main Apr 1, 2026
5 checks passed
@github-actions github-actions bot deleted the release/v1.0.2 branch April 1, 2026 23:55
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