Skip to content
Snippets Groups Projects

Fix menu example

Merged Fix menu example
Nervengift/flow3r-firmware:Nervengift-main-patch-56833 into main
Merged Clemens Wallrath requested to merge Nervengift/flow3r-firmware:Nervengift-main-patch-56833 into main

typing.Optional does not exist on badge and was unused anyway

Merge request reports

Merge request pipeline #6673 skipped

Merge request pipeline skipped for 5f19638c

Approval is optional

Merged by schneiderschneider 1 year ago (Aug 15, 2023 12:17am UTC)

Merge details

  • Changes merged into main with 5f19638c.
  • Deleted the source branch.

Pipeline #6674 passed

Stage: check
Stage: build
Stage: deploy

Pipeline passed for 5f19638c on main

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply