deploy: sync web/ -> docs/ for GitHub Pages [skip ci]

github-actions[bot] · github-actions[bot] · commit 903df85cf158 · 2026-05-23T00:43:14.000Z
diff --git a/docs/data/projects.json b/docs/data/projects.json
@@ -5542,7 +5542,7 @@
       "name": "Zuhao Yang"
     }
   ],
-  "generated_at": "2026-05-23T00:33:26.631013+00:00",
+  "generated_at": "2026-05-23T00:41:13.861876+00:00",
   "personalities": [
     {
       "display_name": "Ada Lovelace",
