PR #9183 server : update deps

server : update deps #9183

ggerganov merged 1 commit into master from gg/server-update-deps

server : update deps

9a8274f1

danbev approved these changes on 2024-08-26

github-actions added examples

github-actions added server

ggerganov merged e5edb210 into master 1 year ago

ggerganov deleted the gg/server-update-deps branch 1 year ago

Reviewers

danbev

Assignees

No one assigned

Labels

examples server

Milestone

No milestone