Results 2 comments of Rene Mailaender

this bug seems to block the git build pipeline. Should we, as a temporary workaround change the `ci/all_tests.sh` script, so it uses `--linker=legacy` until the bug is fiexed?