Open pavelzw opened 1 month ago
Hm, interesting! Thanks for the reproducer, too! Unsure why this fails.
I think this one is related to #985 - because we migth not get the "right" name when ordering the packages this fails randomly. So I do think that we should retry this one when we fix #985.
Sometimes, it works:
Sometimes it doesn't: