Skip to content

Merge pull request #1707 from kamalqureshi/tooltip_for_buttons #512

Merge pull request #1707 from kamalqureshi/tooltip_for_buttons

Merge pull request #1707 from kamalqureshi/tooltip_for_buttons #512

Triggered via push May 24, 2025 21:51
Status Success
Total duration 14m 1s
Artifacts
Fit to window
Zoom out
Zoom in