delete docs workflow

.github/workflows/docs.yml

@@ -1,52 +0,0 @@
-name: Publish docs
-
-on:
-  push:
-    branches:
-      - master
-
-jobs:
-  build:
-    name: Build
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Checkout code
-      uses: actions/checkout@v3
-              
-    - uses: pnpm/action-setup@v2
-      with:
-        version: 8
-
-    - name: Install Node.js
-      uses: actions/setup-node@v3
-      with:
-        node-version: 18
-
-    - name: Install packages
-      working-directory: ./.docs
-      run: npm install
-    
-    - name: Build project
-      working-directory: ./.docs
-      run: npm run generate
-
-    - name: Upload production-ready build files
-      uses: actions/upload-pages-artifact@v1
-      with: 
-        path: ./.docs/.output/public
-
-  deploy:
-    name: Deploy
-    needs: build
-    permissions:
-      pages: write
-      id-token: write
-    environment:
-      name: docs
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v2