Skip to content

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

test(idris-dependents): align edge tests with the documented skip con…

49e4d56
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar