chore(ci): pin core back to main now website#209 has merged #24
Reference in New Issue
Block a user
No description provided.
Delete Branch "chore/repin-core-1.11"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
What & why
Step 2 (Module-Rust#22) needed MODULE_API 1.11.0 (
ctx.events.expired, D183) before it was onmain, soci/core-ref.jsonwas pinned to website#209's branch head (cc1f49a). The comment in that file said to move the pin back to the sha #209 merged as. #209 merged on 2026-09-27 asf0e7d2aonmain, and this PR makes that change.This is a CI pin only. No module code changes, and
routes.manifest.jsonis the module's own route list, so it does not change either. Thefrozen-manifestjob on this PR is the check: it clones core at the new sha and loads the module against it.Tracking: #21.
Checklist
AI-assisted contributions (required)
Claude Code (Claude Opus 5.5). I have reviewed and understandevery change, and take responsibility for it. AI-authored commits are
marked with a
Co-Authored-By/Assisted-Bytrailer.License
(GNU GPL v3.0 or later), and I have the right to contribute it.
🤖 Generated with Claude Code
https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY