Skip to content

Remove zipped libraries#838

Merged
jkoenig134 merged 3 commits intorelease/openid4vcfrom
remove-zipped-libraries
Nov 11, 2025
Merged

Remove zipped libraries#838
jkoenig134 merged 3 commits intorelease/openid4vcfrom
remove-zipped-libraries

Conversation

@jkoenig134
Copy link
Contributor

@jkoenig134 jkoenig134 commented Nov 11, 2025

Readiness checklist

  • I added/updated tests.
  • I ensured that the PR title is good enough for the changelog.
  • I labeled the PR.
  • I self-reviewed the PR.

@jkoenig134 jkoenig134 requested a review from tnotheis November 11, 2025 09:02
@jkoenig134 jkoenig134 added the chore Some routine work like updating dependencies label Nov 11, 2025
@jkoenig134 jkoenig134 changed the base branch from main to release/openid4vc November 11, 2025 09:03
@jkoenig134 jkoenig134 enabled auto-merge (squash) November 11, 2025 09:04
@jkoenig134 jkoenig134 merged commit f394982 into release/openid4vc Nov 11, 2025
17 checks passed
@jkoenig134 jkoenig134 deleted the remove-zipped-libraries branch November 11, 2025 09:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tnotheis tnotheis tnotheis approved these changes

Assignees

No one assigned

Labels

chore Some routine work like updating dependencies

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jkoenig134 @tnotheis