Skip to content

feat: usermenu styling#20

Merged
jeppekroghitk merged 4 commits into
developfrom
feature/7792-polish-usermenu
Jun 30, 2026
Merged

feat: usermenu styling#20
jeppekroghitk merged 4 commits into
developfrom
feature/7792-polish-usermenu

Conversation

@jeppekroghitk

@jeppekroghitk jeppekroghitk commented Jun 29, 2026

Copy link
Copy Markdown
Collaborator

Link to ticket

#7792

Description

Minor improvements to usermenu styling.

Screenshot of the result

Screenshot 2026-06-29 at 14 02 19

Checklist

  • My code is covered by test cases.
  • My code passes our test (all our tests).
  • My code passes our static analysis suite.
  • My code passes our continuous integration process.

@jeppekroghitk jeppekroghitk changed the base branch from develop to feature/7792-dashboard-improvements June 29, 2026 12:01
@jeppekroghitk jeppekroghitk requested a review from tuj June 29, 2026 12:23
Base automatically changed from feature/7792-dashboard-improvements to develop June 30, 2026 07:22
@jeppekroghitk jeppekroghitk merged commit 4bf3c79 into develop Jun 30, 2026
6 checks passed
@jeppekroghitk jeppekroghitk deleted the feature/7792-polish-usermenu branch June 30, 2026 07: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.

2 participants