Merge branch 'ci/use-basop-usan-supp-file' into 'main'

[CI] use dedicated ubsan suppression file for BASOP

See merge request !1095