llama.cpp
server : validate --tools CLI argument against known tool names
#22538

Merged

server : validate --tools CLI argument against known tool names #22538

ggerganov merged 1 commit into master from gg/server-sanitize-tools-cli-arg

server : validate --tools CLI argument against known tool names

a7fb22fc

github-actions added examples

github-actions added server

ggerganov marked this pull request as ready for review 54 days ago

ggerganov requested a review 54 days ago

ServeurpersoCom approved these changes on 2026-05-04

ngxson approved these changes on 2026-05-04

ggerganov merged 2bacb1eb into master 53 days ago

ggerganov deleted the gg/server-sanitize-tools-cli-arg branch 53 days ago

Reviewers

ngxson

ServeurpersoCom

Assignees

No one assigned

Labels

examples server

Milestone

No milestone