Pre-merge and post-merge results
PRs by actual merge time and releases by tag creation time, newest first. Lightweight tags have no creation timestamp, so their tagged commit time is used. Each PR shows pre-merge coverage until its exact merge-commit coverage is available, then post-merge replaces it. Aggregated PRs retain their own pre-merge reports and individual merge times. Open PRs and reports without a reference timestamp follow, newest CI run first. PRs closed without merging are omitted here; their direct report URLs remain available.