diff --git a/krun/scheduler.py b/krun/scheduler.py
index b6c7dd3..454710d 100644
--- a/krun/scheduler.py
+++ b/krun/scheduler.py
@@ -537,6 +537,8 @@ def run(self):
                 )
                 info("Rebooting to re-run previous process execution")
                 util.reboot(self.manifest, self.platform, update_count=False)
+                # reboot() does not return
+                raise RuntimeError("reached unreachable code!")
 
             # Store new result.
             results.append_exec_measurements(job.key, measurements)