1つのチャンネルの出力側に複数のリソースが接続していて,出力側リソース毎に右単項性が異なった場合,入力側の辺は必ず PUSH のみ選択可能にする. #51

Merged Shinji merged 1 commit into nitta-lab:master from nitta-lab:forMultipleOutputResources on 7 Jul 2022
@n-nitta n-nitta commented on 7 Jul 2022

1つのチャンネルの出力側に複数のリソースが接続している場合に対応しました.
マージをお願いします.

@Shinji Shinji referenced the pull request on 7 Jul 2022

1つのチャンネルの出力側に複数のリソースが接続していて,出力側リソース毎に右単項性が異なった場合,入力側の辺は必ず PUSH のみ選択可能にする.

@Shinji Shinji merged commit b952f77 into master from forMultipleOutputResources on 7 Jul 2022
@Shinji Shinji closed this pull request on 7 Jul 2022
Labels

Priority
No priority
Milestone
No milestone
Assignee
No one assigned
2 participants
@n-nitta @Shinji