Skip to content

ci : re-enable sanitizer runs #7358

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 18, 2024
Merged

ci : re-enable sanitizer runs #7358

merged 2 commits into from
May 18, 2024

Conversation

ggerganov
Copy link
Member

checking if #6129 is resolved

@github-actions github-actions bot added the devops improvements to build systems and github actions label May 18, 2024
@mofosyne mofosyne added high priority Very important issue Review Complexity : Low Trivial changes to code that most beginner devs (or those who want a break) can tackle. e.g. UI fix labels May 18, 2024
@github-actions github-actions bot added the build Compilation issues label May 18, 2024
@mofosyne mofosyne added the merge ready indicates that this may be ready to merge soon and is just holding out in case of objections label May 18, 2024
@ggerganov ggerganov marked this pull request as ready for review May 18, 2024 15:55
@ggerganov ggerganov merged commit 059031b into master May 18, 2024
62 checks passed
@mofosyne
Copy link
Collaborator

@ggerganov

Multiple runs over multiple commit is showing this error so this sanatiser run is persistent failing at this point

features/parallel.feature:34 Multi users completion -- @1.1

This was referenced May 20, 2024
@ggerganov ggerganov deleted the gg/ci-enable-sanitizers branch May 20, 2024 06:29
@mofosyne
Copy link
Collaborator

CI issue fixed by #7409

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build Compilation issues devops improvements to build systems and github actions high priority Very important issue merge ready indicates that this may be ready to merge soon and is just holding out in case of objections Review Complexity : Low Trivial changes to code that most beginner devs (or those who want a break) can tackle. e.g. UI fix
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants