Skip to content

sync: port diff-scoped mutation CI from mutago#34

Merged
jonbaldie merged 1 commit into
masterfrom
sync/mutago-v2.7.7-ci
Jul 13, 2026
Merged

sync: port diff-scoped mutation CI from mutago#34
jonbaldie merged 1 commit into
masterfrom
sync/mutago-v2.7.7-ci

Conversation

@jonbaldie

Copy link
Copy Markdown
Owner

Summary

  • mutate only pull-request changed lines while retaining full-tree checks on master
  • skip full-tree mutation runs for non-code pushes to master
  • fetch full history for reliable merge-base filtering and document the setup

Validation

  • actionlint .github/workflows/mutation.yml
  • ./githooks/pre-commit
  • full local mutation gate: MSI 81.59%, covered-code MSI 87.18%
  • docs-only diff gate: 0 mutants, exit 0 in 14.79 seconds
  • manual smoke test against github.com/jonbaldie/go-mutesting/v2/example

@jonbaldie
jonbaldie merged commit 23f3b9d into master Jul 13, 2026
4 checks passed
@jonbaldie
jonbaldie deleted the sync/mutago-v2.7.7-ci branch July 13, 2026 15:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant