I'll pass it along in case someone is collecting statistics on the team, but unless it's consistently broken for us (e.g. as apt-get was recently) there's not much value in opening a bug. Transient failures occur, ultimately, and nobody needs encouragement to add the "re-run check" feature besides GitHub (and their response is to use the new UI, which is also a top priority for Pipelines right now).

Victor, if you'd like your account enabled to be able to restart builds though the Azure DevOps page, send me your Microsoft Account email(live.com/hotmail.com/etc) and I'll happily add you. But I'm still not sure whether that hooks up properly with GitHub's checks.