Skip to content

shell.py: Fix warnings caused by overwriting cmd with str, and str too. #8770

shell.py: Fix warnings caused by overwriting cmd with str, and str too.

shell.py: Fix warnings caused by overwriting cmd with str, and str too. #8770

Triggered via pull request June 17, 2024 16:36
Status Success
Total duration 9m 36s
Artifacts

main.yml

on: pull_request
Run OCaml tests
9m 6s
Run OCaml tests
Fit to window
Zoom out
Zoom in