Skip to content

chore: release v0.2.2#3

Merged
rubenhensen merged 1 commit into
mainfrom
release-plz-2026-05-18T08-58-13Z
May 18, 2026
Merged

chore: release v0.2.2#3
rubenhensen merged 1 commit into
mainfrom
release-plz-2026-05-18T08-58-13Z

Conversation

@github-actions

@github-actions github-actions Bot commented May 18, 2026

Copy link
Copy Markdown

🤖 New release

  • irmars: 0.2.1 -> 0.2.2 (✓ API compatible changes)
Changelog

0.2.2 - 2026-05-18

Other

  • bump irmago server to v0.19.2
  • point scheme download at schemes.yivi.app
  • modernize workflows and bump actions to latest
  • enforce Conventional Commits in PR titles
  • Bump dependencies to current major versions


This PR was generated with release-plz.

@dobby-coder dobby-coder Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Release-plz PR looks correct:

  • Version bump 0.2.1 → 0.2.2 in Cargo.toml is the only code change.
  • New CHANGELOG.md follows Keep a Changelog format and accurately references the merged dep-bump (PR #2).
  • Local build + test suite both pass on this branch.

Patch-level bump is appropriate for the dependency bumps in PR #2 (no API changes). Good to merge.

@dobby-coder dobby-coder Bot requested a review from rubenhensen May 18, 2026 09:01
@github-actions github-actions Bot force-pushed the release-plz-2026-05-18T08-58-13Z branch from 3b6bcff to 793e678 Compare May 18, 2026 09:05
@github-actions github-actions Bot force-pushed the release-plz-2026-05-18T08-58-13Z branch from 793e678 to df25bad Compare May 18, 2026 09:23
@rubenhensen rubenhensen merged commit 7912e33 into main May 18, 2026
@rubenhensen rubenhensen deleted the release-plz-2026-05-18T08-58-13Z branch May 18, 2026 09:24
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