Skip to content

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

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

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

main.yml

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