chore: remove incorrect check from main branch preview CI (#301)

leanprover · Feb 11, 2025 · abcc47e · abcc47e
1 parent 4abfc62
commit abcc47e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -215,7 +215,6 @@ jobs:
 
       - name: Deploy current draft
         id: deploy-draft
-        if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' }}
         uses: nwtgck/[email protected]
         with:
           publish-dir: _out/html-multi