Repository navigation

Repair #7490: stale v1-compiler-tests callers + compile gate - #7494

Merged

briansrls merged 9 commits into

mainfrom

session/proud-ant-532-repair-7490

Jul 31, 2026

Merged

Repair #7490: stale v1-compiler-tests callers + compile gate#7494
briansrls merged 9 commits into
mainfrom
session/proud-ant-532-repair-7490

Commits on Jul 31, 2026
- WIP: repair 7490
  gunbc-ci-auto-heal
  committed
  abe370d
- Repair #7490 fallout: fix stale typecheck_module callers and enroll compile gate.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b1c6576
- Fix CI compile gate: drop unused import under -D warnings.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  49e2a0f
- Fix witness parse error: replace invalid `..` rest pattern in match.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  755903b
- Address review 45392: scaffold compile gate on cargo.Build.Check authority.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ac0968e
- WIP: repair 7490
  gunbc-ci-auto-heal
  committed
  ae07c5a
- Fix CI: parse error in HAND-RUST witness and typed CARGO_BIN emit.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f4961aa
- WIP: repair 7490
  gunbc-ci-auto-heal
  committed
  7b35328
- Address review 45415: move executable override to Bash layer.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5b07436