diff options
author | Jere Leppänen <jere.leppanen@nokia.com> | 2024-03-27 13:42:13 +0200 |
---|---|---|
committer | Matias Elo <matias.elo@nokia.com> | 2024-04-16 16:49:46 +0300 |
commit | 9492b6d91e0383d45fc1892729e767d52f5d7db2 (patch) | |
tree | c3ed1b97d33002f4c7a35d017903f8767a08f65c /include/odp/arch/x86_64-linux/odp/api/abi/thrmask.h | |
parent | cdc30a0cfd4427f0165f54941f7f9886df8aa8b0 (diff) |
github_ci: add undefined sanitizier to the sanitizer job
Add undefined sanitizier to the sanitizer job.
Signed-off-by: Jere Leppänen <jere.leppanen@nokia.com>
Reviewed-by: Janne Peltonen <janne.peltonen@nokia.com>
Diffstat (limited to 'include/odp/arch/x86_64-linux/odp/api/abi/thrmask.h')
0 files changed, 0 insertions, 0 deletions