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

github-actions[bot] · github-actions[bot] · commit cdca9c26dfe7 · 2026-05-21T03:12:59.000Z
diff --git a/docs/data/projects.json b/docs/data/projects.json
@@ -4484,7 +4484,7 @@
       "name": "Zuhao Yang"
     }
   ],
-  "generated_at": "2026-05-21T03:06:00.449225+00:00",
+  "generated_at": "2026-05-21T03:10:56.030794+00:00",
   "personalities": [
     {
       "display_name": "Ada Lovelace",
