From 772a0acad98008404c6408f34dd2b780b6a42a7c Mon Sep 17 00:00:00 2001
From: Frank Morgner <frankmorgner@gmail.com>
Date: Fri, 11 Aug 2023 02:20:04 +0200
Subject: [PATCH] CI: fixed sleep syntax

---
 .github/push_artifacts.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/push_artifacts.sh b/.github/push_artifacts.sh
index 61d9f0702b..873c306c74 100755
--- a/.github/push_artifacts.sh
+++ b/.github/push_artifacts.sh
@@ -33,7 +33,7 @@ git commit --message "$1"
 i=0
 while [ $i -le 10 ] && ! git push --quiet --set-upstream origin "${BRANCH}"
 do
-    sleep $[ ( $RANDOM % 32 )  + 1 ]s
+    sleep $[ ( $RANDOM % 32 )  + 1 ]
     git pull --rebase origin --strategy-option ours "${BRANCH}"
     i=$(( $i + 1 ))
 done