Open kit-ty-kate opened 1 year ago
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.
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.
master
pending
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.