server : clean-up completed tasks from waiting list #9531
server : clean-up completed tasks from waiting list
e01cdda1
ngxson
approved these changes
on 2024-09-18
ggerganov
merged
6026da52
into master 1 year ago
ggerganov
deleted the gg/server-remove-waiting branch 1 year ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub