PR #7358 ci : re-enable sanitizer runs

ci : re-enable sanitizer runs #7358

ggerganov merged 2 commits into master from gg/ci-enable-sanitizers

Revert "ci : temporary disable sanitizer builds (#6128)"

052e9d59

github-actions added devops

ci : trigger

1781015b

mofosyne added high priority

mofosyne added Review Complexity : Low

github-actions added build

mofosyne added merge ready

ggerganov marked this pull request as ready for review 1 year ago

ggerganov merged 059031b8 into master 1 year ago

ggerganov deleted the gg/ci-enable-sanitizers branch 1 year ago

Reviewers

No reviews

Assignees

No one assigned

Labels

high priority build Review Complexity : Low devops merge ready

Milestone

No milestone