Commit 8a7f3bea authored Dec 19, 2023 by Jan Kiene

Merge branch 'ci/treat-warnings-as-errors-only-in-ci' into 'main'

[CI] treat warnings as errors only in ci

See merge request !1290