tools - #1751
Open
daniel-noland wants to merge 13 commits into
Open
DCO-2 / DCO
succeeded
Aug 28, 2026 in 0s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 46db3d6 | build(nix): add cargo-{expand,mutants,show-asm} | Valid sign-off found |
| 🟢 | ffb1a41 | build(just): html coverage report | Valid sign-off found |
| 🟢 | 79ec445 | build(just): bolero coverage budget | Valid sign-off found |
| 🟢 | 548ad98 | ci: authenticated pinact | Valid sign-off found |
| 🟢 | a2725a0 | build(nix): add duvet to dev toolchain | Valid sign-off found |
| 🟢 | e60f448 | build(nix): add deno | Valid sign-off found |
| 🟢 | 7fd6a96 | feat(spec): cross-check test against its impl | Valid sign-off found |
| 🟢 | b628204 | build(just): just recpies for duvet, cargo-mutants... | Valid sign-off found |
| 🟢 | ece7478 | feat(spec): let interlock classify a mutant | Valid sign-off found |
| 🟢 | ccf02aa | feat(spec): mutant coverage | Valid sign-off found |
| 🟢 | af4ac20 | fix(spec): accept a mutant | Valid sign-off found |
| 🟢 | 3594ad3 | feat(spec): record the interlock output | Valid sign-off found |
| 🟢 | 3230698 | feat(spec): render compliance tables | Valid sign-off found |
Loading