* Factor out more common code from the jenkins scripts * Fix install_and_run path * Poke jenkins * Poke jenkins
1.4 KiB
Executable File
1.4 KiB
Executable File