Repository navigation

gate: fix generated target name collisions (part of #9237) - #9279

Merged

TrapsterDK merged 2 commits into

mainfrom

fix-9237-typecheck-names

Nov 7, 2026

Merged

gate: fix generated target name collisions (part of #9237)#9279
TrapsterDK merged 2 commits into
mainfrom
fix-9237-typecheck-names

Commits on Nov 7, 2026
- gate: rename typecheck bad.mdx and rule_names binary so generated target names do not collide (part of #9237)
  
  TrapsterDK
  and
  claude
  committed
  d4bbdc7
- gate: dx generate proposes no Cargo.lock changes: drop unwired Cargo.lock files, skip nested modules for lock hubs (part of #9237)
  
  TrapsterDK
  and
  claude
  committed
  f5b2253