Skip to content

ui: remove Option<_> wrapping from ui.hint_() helpers #7625

ui: remove Option<_> wrapping from ui.hint_() helpers

ui: remove Option<_> wrapping from ui.hint_() helpers #7625

Triggered via pull request June 18, 2024 00:29
Status Skipped
Total duration 3s
Artifacts

dependabot.yml

on: pull_request
Dependabot auto-merge
0s
Dependabot auto-merge
Fit to window
Zoom out
Zoom in