Here is one marked as solved but not closed: Rolling builds / De-duplicate builds for pull requests when pull request is updated
As shipped I meant solved, not necessarily closed threads.
Here is one marked as solved but not closed: Rolling builds / De-duplicate builds for pull requests when pull request is updated
As shipped I meant solved, not necessarily closed threads.