seedwing-io / seedwing-policy

A functional type system for policy inspection, audit and enforcement.
https://www.seedwing.io
Apache License 2.0
12 stars 15 forks source link

fix: return Output::None if verified list is empty #167

Closed danbev closed 1 year ago

danbev commented 1 year ago

This commit fixes a bug in intoto:verify-envelope where an empty list would returned if there were no attestersthat matched the signature in the envelope. With this change this case will instead return Output::None.