Commit d43c141f authored Sep 19, 2024 by Jan Kiene

Merge branch 'ci/prevent-interrupt-on-main' into 'main'

[CI] prevent interrupts on main branch

See merge request !605