From 5095db99a3132c98e7dc8f6869b82bc2a8730f7e Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Mon, 30 Sep 2024 05:47:34 -0400
Subject: [PATCH] fix: sh syntax

---
 .gitea/workflows/push.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitea/workflows/push.yaml b/.gitea/workflows/push.yaml
index 6855abe..195894d 100644
--- a/.gitea/workflows/push.yaml
+++ b/.gitea/workflows/push.yaml
@@ -30,7 +30,7 @@ jobs:
             - name: Determine build command
               id: build_command
               run: |
-                if [[ "${{ github.event.head_commit.message }}" == *"force build"* ]]; then
+                if [ "${{ github.event.head_commit.message }}" == *"force build"* ]; then
                   echo "build_command=make force-build" >> $GITHUB_ENV
                 else
                   echo "build_command=make build" >> $GITHUB_ENV