From 4456f33347cd22de0c98c65b8cb95263c94ba50f Mon Sep 17 00:00:00 2001
From: HuStmpHrrr <fdhzs2010@hotmail.com>
Date: Tue, 10 Sep 2024 15:02:37 -0400
Subject: [PATCH] use string test instead

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

diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml
index b7a47c94..419259a8 100644
--- a/.github/workflows/ci_build.yaml
+++ b/.github/workflows/ci_build.yaml
@@ -66,7 +66,7 @@ jobs:
             endGroup
           script: |
             startGroup "Build binary"
-              if [[ "$DOC" ]]; then
+              if [[ "$DOC" == 'true' ]]; then
                 make coqdoc
               else
                 make