Skip to content

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

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

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

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

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in