Skip to content

shell: Fix adding hosts with separate user name and/or ssh:// prefix #5235

shell: Fix adding hosts with separate user name and/or ssh:// prefix

shell: Fix adding hosts with separate user name and/or ssh:// prefix #5235

Triggered via pull request November 30, 2023 14:09
Status Success
Total duration 3m 13s
Artifacts

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in