environment does not propagate

Beluga-lang · Sep 10, 2024 · 12cf338 · 12cf338
1 parent 4456f33
commit 12cf338
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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