Skip to content
pre-commit

The eraser tool should not erase pinned widgets #2425

Sign in to view logs

The eraser tool should not erase pinned widgets

The eraser tool should not erase pinned widgets #2425

Triggered via pull request February 7, 2025 10:33
@andybakandybak
opened #819
fix/eraser-respects-widget-pin
Status Success
Total duration 1m 21s
Artifacts –

pre-commit.yml

on: pull_request
pre-commit
1m 12s
pre-commit
Fit to window
Zoom out
Zoom in