Skip to content

WIP: Clarify the graphical interface workspace, and saving/dirty flags #3656

WIP: Clarify the graphical interface workspace, and saving/dirty flags

WIP: Clarify the graphical interface workspace, and saving/dirty flags #3656

Triggered via pull request June 5, 2026 15:27
Status Skipped
Total duration 1s
Artifacts

tools.yml

on: pull_request
Fit to window
Zoom out
Zoom in