Fix ci

CI crashes in the configuration of merges (even though pipeline before the merge succeeded):

• !71 (merged)
• !73 (merged)