No pending runs

tinyos doesn't have any runs pending verification.