Commit b1680a6d authored Feb 20, 2025 by Jan Kiene

Merge branch 'ci/ubsan-ignorelist' into 'main'

[CI] use ignorelist in USAN job

See merge request !1152