Skip to content

Specialize remotecall_pool(remotecall) to wait for the remotecall#120

Merged
JamesWrigley merged 1 commit intomasterfrom
workerpool-remotecall
Jan 26, 2025
Merged

Specialize remotecall_pool(remotecall) to wait for the remotecall#120
JamesWrigley merged 1 commit intomasterfrom
workerpool-remotecall

Commits

Commits on Jan 26, 2025