pages need a public repo, skip for now

luhipi · Jul 30, 2024 · 23f8487 · 23f8487
1 parent 545fdbd
commit 23f8487
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -212,6 +212,7 @@ jobs:
           python-version: '3.x'
 
       - name: Deploy to GitHub Pages
+        if: env.SKIP == 'false'
         run: |
           rm -rf public
           mkdir -p public/doc