diff --git a/.ci/Jenkinsfile-hardware b/.ci/Jenkinsfile-hardware index b7bb470957..ba01d04b3f 100644 --- a/.ci/Jenkinsfile-hardware +++ b/.ci/Jenkinsfile-hardware @@ -810,6 +810,7 @@ void runTests() { sh './Tools/HIL/run_nsh_cmd.py --device `find /dev/serial -name *usb-*` --cmd "work_queue status"' sh './Tools/HIL/run_nsh_cmd.py --device `find /dev/serial -name *usb-*` --cmd "ostest"' + sh './Tools/HIL/reboot.py --device `find /dev/serial -name *usb-*`' // reboot after ostest sh './Tools/HIL/run_nsh_cmd.py --device `find /dev/serial -name *usb-*` --cmd "commander_tests" || true' sh './Tools/HIL/run_nsh_cmd.py --device `find /dev/serial -name *usb-*` --cmd "controllib_test"'