-
Notifications
You must be signed in to change notification settings - Fork 0
Add scheduled mutation testing to generated repos #52
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Open
leynos
wants to merge
13
commits into
main
Choose a base branch
from
add-mutation-testing-template
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
+449
−42
Open
Changes from all commits
Commits
Show all changes
13 commits
Select commit
Hold shift + click to select a range
229f061
Add scheduled mutation testing to generated repos
fd14029
Install mold in mutation testing setup commands
273a8ea
Assert generated mutation-testing workflow tooling contract
24d9a95
Document scheduled mutation-testing workflow in the user guide
5e026d8
Harden mutation-testing workflow contract assertions
8587477
Note the mutation-testing workflow in the developer guides
836d433
Stop hard-coding Dependabot-owned action SHAs in contract tests
658fe04
Tighten workflow contract assertions against bypass
52d1927
Reconcile mutation-testing contracts with audit workflow after rebase
193bf43
Reject extra mutation triggers and decompose the non-SHA ref strategy
39978b4
Add property tests for the apt-get install parser
b7c0695
Parse setup-commands per shell command and tighten contract assertions
2b4c15f
Add negative tests for the mutation-testing schedule contract
File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,47 @@ | ||
| name: Mutation testing | ||
|
|
||
| # Thin caller of the shared mutation-testing reusable workflow; caller | ||
| # guide: leynos/shared-actions docs/mutation-cargo-workflow.md. | ||
| # Scheduled runs mutate only files changed within the detection window; | ||
| # manual dispatch runs mutate everything, fanned out across shards. To | ||
| # test a branch, select it in the Actions "Run workflow" control. | ||
|
|
||
| 'on': | ||
| schedule: | ||
| # Daily, 09:15 UTC. Stagger this slot when adopting the workflow in a | ||
| # new repository: the estate already occupies 03:05-09:05 UTC, so pick | ||
| # an unclaimed slot to avoid concurrent runs across repositories. | ||
| - cron: "15 9 * * *" | ||
| workflow_dispatch: | ||
|
|
||
| # Default the token to no scopes; the job opts in explicitly. | ||
| permissions: {} | ||
|
|
||
| # Serialize runs per ref: a dispatch during a scheduled run (or vice | ||
| # versa) queues rather than racing. Runs are informational, so queued | ||
| # runs wait instead of cancelling. | ||
| concurrency: | ||
| group: mutation-testing-${{ github.ref }} | ||
| cancel-in-progress: false | ||
|
|
||
| jobs: | ||
| mutation: | ||
| permissions: | ||
| contents: read | ||
| id-token: write # OIDC workflow-source resolution | ||
| uses: leynos/shared-actions/.github/workflows/mutation-cargo.yml@0c8bd605f8966a004decb0b54f717a745f51bc57 | ||
| with: | ||
| # Match the CI baseline (`make test` runs --all-targets | ||
| # --all-features) so the test command exercised against mutants | ||
| # mirrors what gates pull requests. | ||
| extra-args: "--all-features" | ||
| # .cargo/config.toml links Linux dev targets with clang and | ||
| # -fuse-ld=mold, so the mutants jobs need the same packages that | ||
| # ci.yml installs before any cargo command runs on a bare | ||
| # ubuntu-latest runner. The reusable workflow executes these under | ||
| # bash with `set -euo pipefail`. | ||
| setup-commands: | | ||
| export DEBIAN_FRONTEND=noninteractive | ||
| # mold accelerates dev builds; coverage uses lld for llvm-tools compatibility. | ||
| sudo apt-get update \ | ||
| && sudo apt-get install --yes --no-install-recommends clang lld mold | ||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.