From ba917e9bc1bf8d7d6b9a0b8a6221d7a59c8fab66 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 26 Jan 2024 20:31:34 +0100
Subject: sleep longer if no activity

---
 build-knecht | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/build-knecht b/build-knecht
index 3cc7c29..9e23956 100755
--- a/build-knecht
+++ b/build-knecht
@@ -34,6 +34,10 @@ while true; do
     --arch "${arch}" \
   || true
 
-  sleep 60
+  sleep $(
+    printf '60 + e(l(%s-%s)/2)\n' $(date +%s) $(git log -1 --pretty='format:%at') \
+    | bc -l \
+    | cut -d. -f1
+  )
 
 done
-- 
cgit v1.2.3-70-g09d2