Skip to content

Post migration adjustments - #7

Merged
m2papierz merged 2 commits into
mainfrom
chore/post-migration-setup
Jan 8, 2026
Merged

Post migration adjustments#7
m2papierz merged 2 commits into
mainfrom
chore/post-migration-setup

Conversation

@m2papierz

Copy link
Copy Markdown
Contributor

Summary

Minor UI adjustment, and docstring fix.

The PR is mostly to test if the publishing workflow with OIDC works.

@m2papierz
m2papierz merged commit 7fa95c8 into main Jan 8, 2026
7 checks passed
@m2papierz
m2papierz deleted the chore/post-migration-setup branch January 8, 2026 11:59
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