Repository navigation

fix(idris-dependents): repair the test crate (red on main since #628) - #649

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/vigilant-turing-94eajv-idris-dependents-mock

Nov 5, 2026

Merged

fix(idris-dependents): repair the test crate (red on main since #628)#649
hyperpolymath merged 2 commits into
mainfrom
claude/vigilant-turing-94eajv-idris-dependents-mock

Commits on Nov 5, 2026
- fix(idris-dependents): give ready_mock() the responses field
  claude
  committed
  d92739e
- test(idris-dependents): align edge tests with the documented skip contract
  claude
  committed
  49e4d56