service 3 and local HK man improvements #92
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "mueller/hk-improvements"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
RETURN_FAILED
instead ofEXECUTION_COMPLETE
so the verification failure handler can take care of the rest