From a3877ef747e1a5a716884e28bfd712d5c48f8c19 Mon Sep 17 00:00:00 2001 From: Fedor Indutny <79877362+indutny-signal@users.noreply.github.com> Date: Thu, 12 Jan 2023 15:45:26 -0800 Subject: [PATCH] ci: quick fix for benchmark workflow --- .github/workflows/benchmark.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml index c8dd015edc..a264dee551 100644 --- a/.github/workflows/benchmark.yml +++ b/.github/workflows/benchmark.yml @@ -137,5 +137,5 @@ jobs: git config --global user.name "Signal Bot" git add . git commit --message "${GITHUB_REF} ${GITHUB_SHA}" - git push origin main && break || sleep `$((1 + RANDOM % 5))` + git push origin main && break || sleep "$((1 + RANDOM % 5))" done