Open
Description
Seen in dlang/dmd#11286
It broke HEAD a few weeks ago.
I'm going to go out of a hunch and guess that's because Azure pipeline are Github checks. A way to confirm this theory would be to have an always-failing Github CI check and see if the bot merges.