From 93ca382a2ba32dcd171dc3042d5831f013aec01c Mon Sep 17 00:00:00 2001
From: Tomas Baca <klaxalk@gmail.com>
Date: Tue, 23 Apr 2024 09:23:01 +0200
Subject: [PATCH] fix

---
 .ci/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/build.sh b/.ci/build.sh
index c381cda2f0..6383a92174 100755
--- a/.ci/build.sh
+++ b/.ci/build.sh
@@ -141,7 +141,7 @@ for PACKAGE in $BUILD_ORDER; do
   ON_PUSH_BUILD=$(apt-cache policy $FUTURE_DEB_NAME | grep "Candidate" | grep "on.push.build" | wc -l)
 
   NEW_COMMIT=false
-  if [[ "$GIT_SHA_MATCHES" == "0" ]] || [[ "$ON_PUSH_BUILD" == "0" ]]; then
+  if [[ "$GIT_SHA_MATCHES" == "0" ]] || [ "$ON_PUSH_BUILD" -ge "1" ]; then
     echo "$0: new commit detected, going to compile"
     NEW_COMMIT=true
   fi