Skip to content

Add public API mutation testing CI - #2479

Draft
tob-scott-a wants to merge 1 commit into
open-quantum-safe:mainfrom
tob-scott-a:deliverable/ci-mutation-testing
Draft

Add public API mutation testing CI#2479
tob-scott-a wants to merge 1 commit into
open-quantum-safe:mainfrom
tob-scott-a:deliverable/ci-mutation-testing

Conversation

@tob-scott-a

Copy link
Copy Markdown

This sets up mutation testing in GitHub Actions.

  • Does this PR change the input/output behaviour of a cryptographic algorithm (i.e., does it change known answer test values)? (If so, a version bump will be required from x.y.z to x.(y+1).0.)
  • Does this PR change the list of algorithms available -- either adding, removing, or renaming? Does this PR otherwise change an API? (If so, PRs in fully supported downstream projects dependent on these, i.e., oqs-provider will also need to be ready for review and merge by the time this is merged. Also, make sure to update the list of algorithms in the continuous benchmarking files: .github/workflows/kem-bench.yml and sig-bench.yml)

These changes were generated by Codex-5.5-Cyber as part of the Patch the Planet program.

Signed-off-by: Scott Arciszewski <scott.arciszewski@trailofbits.com>
@tob-scott-a
tob-scott-a force-pushed the deliverable/ci-mutation-testing branch from 322c39b to f760c66 Compare June 26, 2026 20:16
@coveralls

Copy link
Copy Markdown

Coverage Status

Coverage is 82.301%tob-scott-a:deliverable/ci-mutation-testing into open-quantum-safe:main. No base build found for open-quantum-safe:main.

@baentsch baentsch added the help wanted Asking for support from non-core team label Jul 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

help wanted Asking for support from non-core team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants