Debug ci

merged

assigned to @martin.abbrent

approved this merge request

added 3 commits

• 6e959ed9...b1c95eba - 2 commits from branch main
• a31bcb5d - Merge branch 'main' into 'debug-ci'

Compare with previous version

enabled an automatic merge when the pipeline for a31bcb5d succeeds

mentioned in commit 87328693