Rename ThreadPool::as_worker() to with_worker()#15
Merged
NthTensor merged 2 commits intoNthTensor:mainfrom Jun 19, 2025
BD103:with-worker
Merged
Rename ThreadPool::as_worker() to with_worker()#15NthTensor merged 2 commits intoNthTensor:mainfrom BD103:with-worker
ThreadPool::as_worker() to with_worker()#15NthTensor merged 2 commits intoNthTensor:mainfrom
BD103:with-worker
