You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
run_ok is normally for quick tests to ensure a tool works. Often running with --version or similar to extract and verify a version number. We don't expect it to hang, so perhaps there should be a timeout?
The text was updated successfully, but these errors were encountered:
run_ok is normally for quick tests to ensure a tool works. Often running with
--version
or similar to extract and verify a version number. We don't expect it to hang, so perhaps there should be a timeout?The text was updated successfully, but these errors were encountered: