Repository navigation

Record the upstream commit as the Mayhem run's build id - #260

Merged

ethan42 merged 2 commits into

parent-revisionfrom

Oct 20, 2026

Merged

Record the upstream commit as the Mayhem run's build id#260
ethan42 merged 2 commits into
parent-revisionfrom
build-id

Commits on Oct 19, 2026
- Record the upstream commit as the Mayhem run's build id
  ethan42
  committed
  fc90b88
Commits on Oct 20, 2026
- Ensure note for behavior change is visible.
  ethan42
  committed
  cbc5d45