Skip to content

Update default_shell.md — fixed erratum #3020

Update default_shell.md — fixed erratum

Update default_shell.md — fixed erratum #3020

Re-run triggered April 1, 2025 15:14
Status Success
Total duration 1m 49s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in