Commit 7b41cf28 authored Nov 27, 2023 by Jan Kiene

Merge branch 'ci/fix_typo_in_script' into 'main'

[CI] fix typo in script

See merge request !1247