Commit 7a7e5164 authored Nov 29, 2022 by Jan Kiene

Merge branch 'ci-and-script-adaptations' into 'main'

Ci and script adaptations

See merge request !299