From 79bf9c73061d5e8f8bca6beff64f25e23c632a7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Paulev=C3=A9?= <loic.pauleve@labri.fr>
Date: Fri, 6 Dec 2024 11:07:53 +0100
Subject: [PATCH] validate.sh: display timing

---
 validate.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/validate.sh b/validate.sh
index 50bf9f70..41d01c19 100755
--- a/validate.sh
+++ b/validate.sh
@@ -97,7 +97,7 @@ if [ -n "${DOCKER_IMAGE}" ]; then
 fi
 for nb in "${test_nb[@]}"; do
     echo "======= Testing $nb"
-    validate_nb "${nb}"
+    time validate_nb "${nb}"
 done
 
 if $strict; then