ci: compensate cancelled push status noise #1637
Reference in New Issue
Block a user
Delete Branch "ci/clean-superseded-push-noise"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
description == "Has been cancelled") in status-reaperVerification
Approved for merge after green technical CI; review bypass authorized by hongming.
Approved for merge after green technical CI; review bypass authorized by hongming.