Skip to content

Report whether a typed source is actually verifying anything - #16

Merged
garethx merged 1 commit into
mainfrom
fix/verify-named-source-types
Aug 12, 2026
Merged

Report whether a typed source is actually verifying anything#16
garethx merged 1 commit into
mainfrom
fix/verify-named-source-types

Commits

Commits on Aug 12, 2026