bitflicker64 commented on PR #3271: URL: https://github.com/apache/hugegraph/pull/3271#issuecomment-5984418654
Some numbers from the hugegraph org mirrors, in case they help size this. I replayed every completed push and PR run in `hugegraph/hugegraph` and `hugegraph/hugegraph-toolchain` from 2026-10-03 13:43 to 2026-10-04 20:44 UTC (1076 runs; Rerun CI, Dependency Submission, labeler and stale left out), applying this PR's rule: a PR run is cancelled when a newer run of the same workflow on the same PR starts before it finishes. | Repo | Runs this would cancel | Start-to-finish time saved | |---|---|---| | hugegraph | 393 / 565 (70%) | 281 h / 592 h (47%) | | hugegraph-toolchain | 83 / 511 (16%) | 39 h / 432 h (9%) | | Both | 476 / 1076 (44%) | 320 h / 1024 h (31%) | Caveats: it was a busy window (`gh run list` caps at 1000 runs per repo, so it only reaches back about 31 hours), and the hours run from run start to finish, so they include time spent waiting for a runner and overstate billed minutes. The run count is the firmer number. A snapshot from the evening of 2026-10-04 matches: about 11 jobs running and 141 runs queued across the org, and 25 of 137 live runs were already superseded by a newer run on the same branch. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
