Skip to content

[DevAsan] Report error when using unsupported extension API#2420

Merged
kbenzie merged 1 commit intooneapi-src:mainfrom
yingcong-wu:yc-PR/1204-error-on-unsupported-feature
Dec 10, 2024
Merged

[DevAsan] Report error when using unsupported extension API#2420
kbenzie merged 1 commit intooneapi-src:mainfrom
yingcong-wu:yc-PR/1204-error-on-unsupported-feature

Commits

Commits on Dec 10, 2024