You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
On PRs, cancelling the previous run may still be a good idea, but on master we still want to benchmark for those commits, I think. Leaving the status as pending is a bug, in any case.
To reproduce:
This will cancel the bench on the previous merge commit an leave the github status for said merge commit as "pending" for all eternity.
The text was updated successfully, but these errors were encountered: