Skip to content

[draft] add shortcut for CLI options (#1613) #5388

[draft] add shortcut for CLI options (#1613)

[draft] add shortcut for CLI options (#1613) #5388

Triggered via push September 11, 2023 09:15
Status Success
Total duration 11s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
valid-branch-name
0s
valid-branch-name
Fit to window
Zoom out
Zoom in