Skip to content

chore: merge release/0.7.0 into next - #48

Merged
yanekyuk merged 24 commits into
nextfrom
release/0.7.0
Apr 7, 2026
Merged

chore: merge release/0.7.0 into next#48
yanekyuk merged 24 commits into
nextfrom
release/0.7.0

Conversation

@yanekyuk

@yanekyuk yanekyuk commented Apr 5, 2026

Copy link
Copy Markdown
Owner

Back-merge of release/0.7.0 into next after merging to main.

Part of #46, Part of #32

yanekyuk added 24 commits April 5, 2026 18:16
…ings

Use ratatui Line/Span to render labels bold and manifest IDs dimmed in
the Version Picker list. Add E keybinding to the README Version Picker
table.
@yanekyuk
yanekyuk merged commit b67c5d4 into next Apr 7, 2026
12 checks passed
@yanekyuk
yanekyuk deleted the release/0.7.0 branch April 7, 2026 22:46
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