Commit 1beb7cb3 authored Nov 29, 2023 by Jan Kiene

Merge branch 'ci/fix_split_rendering_build_jobs' into 'main'

[CI] fix build jobs with INCLUDE_SPLIT

See merge request !1248