Keep only rolling release workflow

.gitea/workflows/ci.yml

@@ -1,20 +0,0 @@
-name: CI
-
-on:
-  push:
-  pull_request:
-  workflow_dispatch:
-
-jobs:
-  verify:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: actions/setup-node@v4
-        with:
-          node-version: 22
-          cache: npm
-      - run: npm ci
-      - run: npm test
-      - run: python3 -m py_compile apps/control-center/main.py computer-use/py/*.py
-      - run: npm run package:test

docs/ci-gitea.md

@@ -1,12 +1,10 @@
 # Gitea CI and rolling releases
 
-Gitea Actions reads workflows from `.gitea/workflows/`. This repository has two
-workflows:
+Gitea Actions reads workflows from `.gitea/workflows/`. This repository has one
+workflow:
 
 ```mermaid
 flowchart LR
-  Push[Push / pull request] --> CI[.gitea/workflows/ci.yml]
-  CI --> Tests[npm test + Python syntax + package smoke]
   Main[Push to main] --> RR[rolling-release.yml]
   RR --> Build[Build deb + extension + checksums]
   Build --> API[Gitea release API]
@@ -22,7 +20,8 @@ references it as `${{ secrets.RELEASE_TOKEN }}`; the value is never committed.
 
 ## Rolling behavior
 
-Each push to `main` runs tests and packaging. The publish script:
+Each push to `main` runs tests and packaging. Manual dispatch is also available.
+The publish script:
 
 1. Deletes the existing release associated with `rolling`, if present.
 2. Deletes and recreates the `rolling` tag at the pushed commit using Gitea's