Skip to content

Fix restart_firefox if $cmd is not defined #1337

Fix restart_firefox if $cmd is not defined

Fix restart_firefox if $cmd is not defined #1337

Triggered via push October 17, 2023 08:00
Status Success
Total duration 57s
Artifacts
CI: Running isotovideo test
45s
CI: Running isotovideo test
Fit to window
Zoom out
Zoom in