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