Skip to content

tools - #1751

Open
daniel-noland wants to merge 13 commits into
mainfrom
pr/daniel-noland/spec-tooling
Open

tools#1751
daniel-noland wants to merge 13 commits into
mainfrom
pr/daniel-noland/spec-tooling

feat(spec): Render the compliance tables as markdown

133aaae
Select commit
Loading
Failed to load commit list.
DCO-2 / DCO succeeded Sep 1, 2026 in 0s

Check passed!

All commits are signed off, the check passed.

Summary


Sha Message Pass or fail reason
🟢 2514113 build(nix): Add cargo-expand, cargo-mutants and ca... Valid sign-off found
🟢 6c94ec4 build(just): Write an lcov report beside the html ... Valid sign-off found
🟢 0c3993b build(just): Give the coverage run a bolero budget... Valid sign-off found
🟢 6f1692e ci: Let pinact verify against the authenticated ra... Valid sign-off found
🟢 c043584 build(nix): Add duvet to the dev toolchain Valid sign-off found
🟢 d03b489 build(nix): Add deno to the dev toolchain Valid sign-off found
🟢 a13d1c2 feat(spec): Cross-check a test citation against it... Valid sign-off found
🟢 cc918b6 build(just): Recipe-ise duvet, cargo-mutants, and ... Valid sign-off found
🟢 316365c feat(spec): Let the interlock classify a mutant in... Valid sign-off found
🟢 f0c75dd feat(spec): Say why a mutant survived, using cover... Valid sign-off found
🟢 c0fe766 fix(spec): Accept the second-half boundary the blo... Valid sign-off found
🟢 0e43177 feat(spec): Record the interlock's verdicts for a ... Valid sign-off found
🟢 133aaae feat(spec): Render the compliance tables as markdo... Valid sign-off found