Skip to content

Harmonize Bash command syntax for easier line selection and copy-pasting #12750

Harmonize Bash command syntax for easier line selection and copy-pasting

Harmonize Bash command syntax for easier line selection and copy-pasting #12750

Triggered via pull request September 15, 2024 14:31
Status Success
Total duration 2m 51s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in