Run mutation testing on every pull request #5
Loading…
Reference in a new issue
No description provided.
Delete branch "mutation-testing"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Mutation testing has only been run by hand so far, which is how
mutants.out/ended up committed in #1. This makes it routine.cargo-mutants is in the dev shell and configured so a plain
cargo mutantsruns exactly as CI does. CI mutates the lines each pull request changes and fails on any mutant the tests miss. On main, and on any branch through the new manual trigger, it mutates all the code and uploads the report. The full run reports without gating for now, because main has untested code today; the next PR closes those gaps and turns gating on.The first manual run also exposed a CI flaw: the runner's shared cargo target directory let one run test another run's build. A manual run reused the pull request run's binary of the same commit and failed reading the other run's deleted checkout. Each cargo job now builds in its own checkout.
Infrastructure only: no Rust code changes.