Commit c5ca8b2b authored Dec 12, 2023 by Jan Kiene

Merge branch 'ci/turn_build_warnings_into_errors' into 'main'

[CI] turn build warnings into errors

See merge request !1249