From 12cf338fe777f0039691237c903b8044bf736102 Mon Sep 17 00:00:00 2001
From: HuStmpHrrr <fdhzs2010@hotmail.com>
Date: Tue, 10 Sep 2024 15:06:56 -0400
Subject: [PATCH] environment does not propagate

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

diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml
index 419259a8..1d0c9306 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" == 'true' ]]; then
+              if [[ "${{ env.DOC_DEPLOY }}" == 'true' ]]; then
                 make coqdoc
               else
                 make
@@ -79,7 +79,6 @@ jobs:
         env:
           OPAMJOBS: ${{ steps.cpu-cores.outputs.count }}
           OPAMYES: "true"
-          DOC: ${{ env.DOC_DEPLOY }}
 
       - name: permissions revert
         # to avoid a warning at cleanup time