PR #6128 ci : temporary disable sanitizer builds

ci : temporary disable sanitizer builds #6128

ggerganov merged 1 commit into master from gg/ci-disable-sanitizers

ci : temporary disable sanitizer builds

798bca41

phymbert approved these changes on 2024-03-18

ggerganov merged 4f6d1337 into master 2 years ago

ggerganov deleted the gg/ci-disable-sanitizers branch 2 years ago

Reviewers

phymbert

Assignees

No one assigned

Labels

None yet

Milestone

No milestone