2 Commits

Include renames

Author	SHA1	Message	Date
Bendik Aagaard LynghaugandClaude Fable 5.1	e543b41cb0	CI: a writable CARGO_HOME, so the portal git dependency can be fetched ... The shared /var/local/cargo is read-only for the runner; 0.1.1 built only because this machine had already cloned the same portal tag into it. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01L4jrCgLiKKHAEFuZUJjckH	2026-09-22 17:50:53 +02:00
Bendik Aagaard LynghaugandClaude Fable 5.1	73906cdf35	iris: the lint over a portal site, as its own repo ... question_lint becomes `iris check`, needs_replay becomes `iris replay`, and the needs module and local-checkout loaders come with them. Portal is a library dependency pinned to the release iris matches (v0.3.36), so every type iris reads is the site's own and the two never disagree about what a page is. `iris --path questions` still works, so a content repo's one-line CI needs only a new path. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01L4jrCgLiKKHAEFuZUJjckH	2026-09-22 17:25:52 +02:00