From de90d69a6ef976a055397cbd7b4359bfa505e19c Mon Sep 17 00:00:00 2001
From: Ivan Zinchenko <i@zinch.me>
Date: Wed, 4 Feb 2026 19:09:48 +0300
Subject: [PATCH] Change ns to ms

---
 lab/vtsh/lib/exec.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lab/vtsh/lib/exec.c b/lab/vtsh/lib/exec.c
index a8e6e24..fe588f8 100644
--- a/lab/vtsh/lib/exec.c
+++ b/lab/vtsh/lib/exec.c
@@ -139,7 +139,8 @@ static int run_one(const Cmd* c) {
   waitpid(pid, &st, 0);
   long long t1 = nsec_now();
 
-  fprintf(stderr, "time_ns=%lld\n", (t1 - t0));
+  double elapsed_ms = (double)(t1 - t0) / 1000000.0;
+  fprintf(stderr, "time_ms=%.3f\n", elapsed_ms);
 
   if (WIFEXITED(st))
     return WEXITSTATUS(st);