Repository navigation

ci: require exact SARD R3/R4 rejection reports, not arbitrary exit 1 - #456

Merged

d6g8k5htny-coder merged 3 commits into

mainfrom

coord/sard-r3r4-protocol-20261015-6194268719

Oct 15, 2026

Merged

ci: require exact SARD R3/R4 rejection reports, not arbitrary exit 1#456
d6g8k5htny-coder merged 3 commits into
mainfrom
coord/sard-r3r4-protocol-20261015-6194268719

Commits on Oct 15, 2026
- ci: require exact SARD R3/R4 mutant rejection reports
  d6g8k5htny-coder
  committed
  ef72c8f
- Merge current Math main into SARD R3/R4 protocol candidate
  d6g8k5htny-coder
  committed
  9e5c46d
- Merge current main into PR #456
  d6g8k5htny-coder
  committed
  a86a670