Repository navigation

Add the parity check: record a suite run and compare it with the reference build - #2778

Merged

mathiasrw merged 2 commits into

feature/rollupfrom

fix/parity-check

Oct 21, 2026

Merged

Add the parity check: record a suite run and compare it with the reference build#2778
mathiasrw merged 2 commits into
feature/rollupfrom
fix/parity-check

Commits on Oct 21, 2026
- Add the parity check: record a suite run and compare it with the published 4.21.0
  mathiasrw
  committed
  8d06cc2
- Make the parity check fail on silent test files, measure unstable statements and take a commit as reference
  mathiasrw
  committed
  72b3a1a