Skip to content

Improvement + Fix: HoverTips improvements #1931

Improvement + Fix: HoverTips improvements

Improvement + Fix: HoverTips improvements #1931

Triggered via pull request December 20, 2023 19:52
Status Success
Total duration 14s
Artifacts

label-merge-conflict.yml

on: pull_request_target
conflicts
4s
conflicts
Fit to window
Zoom out
Zoom in