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

Report whether a typed source is actually verifying anything

13985c3
Select commit
Loading
Failed to load commit list.
blacksmith.sh / [code]smith skipped Aug 12, 2026

[code]smith is not active on this PR

[code]smith is not active on this PR. Ask [code]smith to autofix CI on this PR: Enable autofix

View more details on blacksmith.sh