From a5229f520961a188ced882a18c474a4002921084 Mon Sep 17 00:00:00 2001
From: Pascal Lais <pascal@lais.dev>
Date: Sat, 11 Dec 2021 14:53:09 +0100
Subject: [PATCH] Increase resolution for runtime

---
 run_all.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/run_all.py b/run_all.py
index 4a5053e..f07637e 100755
--- a/run_all.py
+++ b/run_all.py
@@ -22,6 +22,6 @@ for dir in [x for x in sorted(listdir('.')) if isdir(x)]:
             raise CalledProcessError(p.returncode, p.args)
         run_time = end_time-start_time
         total_run_time += run_time
-        print(f'Runtime: {run_time:.2f} s')
+        print(f'Runtime: {run_time:.3f} s')
 print('--------------------------------')
-print(f'Total runtime: {total_run_time:.2f} s')
+print(f'Total runtime: {total_run_time:.3f} s')