didrun

Small open-source verification tool concerned with whether a check actually executed rather than merely exiting zero. Its README states the rule that a check must report separately whether it ran, whether it failed, and whether the failure was the expected one.