Skip to content

Rename shell to CLI (#3087) #1663

Rename shell to CLI (#3087)

Rename shell to CLI (#3087) #1663

Triggered via push August 8, 2023 14:53
Status Success
Total duration 11s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Analyze (csharp)
0s
Analyze (csharp)
Fit to window
Zoom out
Zoom in