Skip to content

Conversation

@omarahmed1111
Copy link
Contributor

@omarahmed1111 omarahmed1111 commented Aug 14, 2024

@omarahmed1111 omarahmed1111 requested a review from a team as a code owner August 14, 2024 15:38
@github-actions github-actions bot added loader Loader related feature/bug sanitizer Sanitizer layer issues/changes/specification labels Aug 14, 2024
@kbenzie kbenzie added the v0.10.x Include in the v0.10.x release label Aug 14, 2024
@omarahmed1111 omarahmed1111 force-pushed the fix-coverity-issues branch 2 times, most recently from c2c1285 to 446d067 Compare August 15, 2024 14:02
@omarahmed1111 omarahmed1111 added the ready to merge Added to PR's which are ready to merge label Aug 15, 2024
@omarahmed1111 omarahmed1111 merged commit 8a620c0 into oneapi-src:main Aug 16, 2024
kbenzie pushed a commit that referenced this pull request Aug 20, 2024
@kbenzie kbenzie mentioned this pull request Aug 20, 2024
53 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

loader Loader related feature/bug ready to merge Added to PR's which are ready to merge sanitizer Sanitizer layer issues/changes/specification v0.10.x Include in the v0.10.x release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants