Skip to content

check_boundary_types: the declared boundary was never compared to the design (#21) - #22

Merged
borisdev merged 3 commits into
mainfrom
boundary-types
Oct 7, 2026
Merged

check_boundary_types: the declared boundary was never compared to the design (#21)#22
borisdev merged 3 commits into
mainfrom
boundary-types

Copilot on #22: both findings real, and one was a RAISE

7a0d18b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar