chore(ci): re-pin core to website main at #212's merge #39

Merged

whitlocktech merged 1 commits from chore/repin-core-212 into edge

2026-10-12 06:41:33 -05:00

Author	SHA1	Message	Date
wtclaude	a64ae68158	chore(ci): re-pin core to website main at #212 's merge All checks were successful PR Checks / server-tests (pull_request) Successful in 33s Details PR Checks / frozen-manifest (pull_request) Successful in 55s Details PR Checks / client-build (pull_request) Successful in 7m23s Details website#212 (MODULE_API 1.13.0) merged as ca7ec53, whose tree is the same as the branch head e58857c this repo was pinned to while it was open. Only the pin moves; routes.manifest.json is unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY	2026-10-12 05:08:39 -05:00