Commit 098d5b8
docs(runtime): record that send_identity_same_named_ports runs unpinned
With a via-less state accept routed by the receiver a transfer reaches, the
case has one enabled transition under every policy and needs no schedule pin.
Co-Authored-By: jason.han <hanhuijun@gmail.com>1 parent 4381383 commit 098d5b8
2 files changed
Lines changed: 5 additions & 7 deletions
0 commit comments