doc: add minimal docsite

.github/workflows/ci.yml

@@ -121,7 +121,7 @@ jobs:
 
       - name: Publish test reports
         timeout-minutes: 10
-        if: always()
+        if: ${{ !cancelled() }}
         uses: pmeier/[email protected]
         with:
           path: tests/.tests.xml
@@ -132,28 +132,30 @@ jobs:
 
       - name: Setup docs cache
         timeout-minutes: 10
+        if: ${{ !cancelled() }}
         uses: actions/cache@v4
         with:
           path: docs/build
           key: docs-cache-${{ hashFiles('docs') }}
 
       - name: Build docs
         timeout-minutes: 10
+        if: ${{ !cancelled() }}
         run: pdm run docs
 
       - name: Setup Github Pages
         timeout-minutes: 10
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        if: ${{ !cancelled() && github.event_name == 'push' && github.ref == 'refs/heads/main' }}
         uses: actions/configure-pages@v5
 
       - name: Upload docs to Github Pages
         timeout-minutes: 10
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        if: ${{ !cancelled() && github.event_name == 'push' && github.ref == 'refs/heads/main' }}
         uses: actions/upload-pages-artifact@v3
         with:
           path: './docs/build'
 
       - name: Deploy GitHub Pages
         timeout-minutes: 10
-        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        if: ${{ !cancelled() && github.event_name == 'push' && github.ref == 'refs/heads/main' }}
         uses: actions/deploy-pages@v4