chore(ci): pin core-ref to website#224's merge on main #63
Reference in New Issue
Block a user
No description provided.
Delete Branch "chore/core-ref-224-merge"
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?
Follow-up to #62.
ci/core-ref.jsonpinned RunicGateway/website#224's branch head (cee4ab8) while that PR was open. #224 merged as69998econmain, so the pin moves there.The merge tree is identical to the old head (
git diff cee4ab8 69998ecis empty), soroutes.manifest.jsondoes not change. The frozen-manifest job re-runs against the new ref on this PR.node -p "require('./ci/core-ref.json').ref"→69998ec54854d46681def92985a2b299ee3582a6(the file parses).AI-assisted: written with Claude Code (Claude Opus 5.5).
🤖 Generated with Claude Code
https://claude.ai/code/session_01E14m6SuuY6i1vASFeGDBeY