PR #19291 ci : add sanitizer runs for server

ci : add sanitizer runs for server #19291

ggerganov merged 1 commit into master from gg/ci-server-sanitize

ci : add sanitizer runs for server

dd3fb4b3

ggerganov requested a review from

CISC 11 days ago

CISC approved these changes on 2026-02-03

github-actions added build

github-actions added devops

ggerganov merged 6a9bf2f7 into master 10 days ago

ggerganov deleted the gg/ci-server-sanitize branch 10 days ago

ngxson commented on 2026-02-04

Reviewers

CISC

ngxson

Assignees

No one assigned

Labels

build devops

Milestone

No milestone