Repository navigation

emrg: a green CI verdict can be about a tree that can no longer be merged - #1138

Merged

argszero merged 8 commits into

feature/ci-verdict-freshness

Sep 12, 2026

Merged

emrg: a green CI verdict can be about a tree that can no longer be merged#1138
argszero merged 8 commits into
masterfrom
feature/ci-verdict-freshness

Commits on Sep 11, 2026
- emrg: a green CI verdict can be about a tree that can no longer be merged (#1137)
  EMRG Evolution
  committed
  9479e0b
- emrg: drop a dead parameter from the merge-freshness helper, and guard the class
  EMRG Evolution
  committed
  1ee5fee
- emrg: ask GitHub for the head's runs by SHA, and pin which workflow is the verdict
  EMRG Evolution
  committed
  774d5b6
- emrg: merge master into feature/ci-verdict-freshness to unblock CI
  EMRG Evolution
  committed
  063b523
- emrg: merge master (fe52694) — resolve the count line by measurement
  EMRG Evolution
  committed
  43a471c
- emrg: merge master into the branch (count line re-measured on the merged tree)
  EMRG Evolution
  committed
  4997250
- emrg: resolve the count line against current master by measurement
  EMRG Evolution
  committed
  7a31be3
- emrg: resolve the count line against the post-#1148 master by measurement
  EMRG Evolution
  committed
  c5df018