> Is there a possible middle ground here? Rather than a required PR check (or a full buildbot run), maybe we could just add a new “magic” label that runs a single refleak job using the GitHub actions runners.
That sounds like a good compromise and it will be strictly better than the current setup.
In addition, I still think that for the slower tests, the git diff based test run can be quite beneficial.
We just need to bear in mind that those tests will always be partial, so we should not be surprised if refleaks are still detected in buildbots.