Skip to content

Rename file names for commands, moved options text to own file #44

Rename file names for commands, moved options text to own file

Rename file names for commands, moved options text to own file #44

Triggered via push September 5, 2025 23:23
Status Success
Total duration 22s
Artifacts
run-smoke-tests
19s
run-smoke-tests
Fit to window
Zoom out
Zoom in