chore(ci): drop stale web/** paths-ignore after web extraction (#213)

The web/ directory was moved to its own repo in #207, but the CI
workflow still carried a `paths-ignore: 'web/**'` filter on both push
and pull_request. With web/ gone the rule never matches anything and
is dead config — remove it so the trigger blocks accurately reflect
the repo layout.

No CodeQL changes needed: GitHub's default-setup auto-detected the
language change after #207 (current config: actions + go, no JS/TS),
and there are zero open code-scanning alerts.

Author: charlesgreen

.github/workflows/ci.yml

@@ -3,12 +3,8 @@ name: CI
 on:
   push:
     branches: [ main, develop ]
-    paths-ignore:
-      - 'web/**'
   pull_request:
     branches: [ main, develop ]
-    paths-ignore:
-      - 'web/**'
 
 env:
   # Minimum Go patch release — matches the `toolchain` directive in go.mod