ci: add weekly sharded cargo-mutants (22119) + in-diff PR advisory (follows #593) - #609

Merged

reardencode merged 12 commits into

reardencode:masterfrom

Hero-Gamer:add-nightly-mutants-job

Sep 20, 2026

Commits on Sep 20, 2026

fix(mutants): use --workspace, correct --in-diff file, 8 shards, document 22119 baseline
Hero-Gamer
committed
86f65b3
ci: mutants primitives-only (292 mutants), fix pins, drop --skip core
Hero-Gamer
committed
d847a6a
ci: mutants workspace 8 shards (22119) + in-diff advisory
Hero-Gamer
committed
539e092
ci: mutants add permissions: contents: read for CodeQL
Hero-Gamer
committed
01d5d9e
test: kill 3 sigop mutants for truncated PUSHDATA, 2 equiv left at 41
Hero-Gamer
committed
2d15e3a
fmt: remove extra blank line in sigop mutant test
Hero-Gamer
committed
1e84c5b
docs: add mutants baseline index - 304 consensus / 15 primitives (from DM suggestion)
Hero-Gamer
committed
3921439
docs: add auto-generated consensus mutants index (304 grouped by file)
Hero-Gamer
committed
2fc01f9
docs(mutants): baseline - primitives 16m 4+8 + consensus 9h 304+38, lowercase per docs convention
Hero-Gamer
committed
b3dbab7
docs(mutants): fix generated date to actual runs Sep 19 night -> Sep 20 16:14 ET, enforce lowercase
Hero-Gamer
committed
1cb3e6e
ci: fix mutants weekly fail-fast false, move concurrency to pr job only
Hero-Gamer
committed
eea1824
fix: dedup .gitignore mutants.out
Hero-Gamer
committed
55a1caf