fix checking

Beluga-lang · Sep 10, 2024 · 5070b8f · 5070b8f
1 parent dd312f7
commit 5070b8f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml
@@ -87,7 +87,7 @@ jobs:
         run: sudo chown -R 1001:116 .
 
       - name: generate Github pages
-        if: ${{ success() && env.DOC_DEPLOY }}
+        if: ${{ success() && env.DOC_DEPLOY == 'true' }}
         run: |
           sudo apt install -y pandoc
           mv theories/html html
@@ -97,7 +97,7 @@ jobs:
 
       - name: Deploy HTML
         uses: JamesIves/[email protected]
-        if: ${{ success() && env.DOC_DEPLOY }}
+        if: ${{ success() && env.DOC_DEPLOY == 'true' }}
         with:
           branch: gh-pages
           folder: html