Skip to content

subcmds: delete redundant dest= settings #145

subcmds: delete redundant dest= settings

subcmds: delete redundant dest= settings #145

Triggered via push May 27, 2025 16:48
Status Success
Total duration 15s
Artifacts
Python Lint
9s
Python Lint
Fit to window
Zoom out
Zoom in