Skip to content

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

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. #8873

Triggered via pull request June 24, 2024 21:41
Status Success
Total duration 8m 54s
Artifacts

main.yml

on: pull_request
Run OCaml tests
8m 46s
Run OCaml tests
Fit to window
Zoom out
Zoom in