Skip to content
Clean up PR caches

[gui/design] show tooltip even when mouse is outside of map #89

Sign in to view logs

[gui/design] show tooltip even when mouse is outside of map

[gui/design] show tooltip even when mouse is outside of map #89

Triggered via pull request November 6, 2023 16:54
@myk002myk002
closed #885
Status Success
Total duration 13s
Artifacts –

clean-cache.yml

on: pull_request_target
cleanup  /  cleanup
4s
cleanup / cleanup
Fit to window
Zoom out
Zoom in