Skip to content

Commit

Permalink
s/Licence/License and suggestions
Browse files Browse the repository at this point in the history
  • Loading branch information
rickie committed Nov 19, 2022
1 parent 9ceab5c commit 649066f
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/pitest-analyze-pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
# uploads the results. The associated PR is subsequently updated by the
# `pitest-update-pr.yml` workflow. See https://blog.pitest.org/oss-pitest-pr/
# for details.
name: "Mutation testing"
name: "Mutation testing: analysis"
on:
pull_request:
permissions:
Expand All @@ -24,7 +24,7 @@ jobs:
- name: Run Pitest
run: mvn test pitest:mutationCoverage -DargLine.xmx=2048m -Dverification.skip -Dfeatures="+GIT(from[HEAD~1]), +gitci"
- name: Aggregate Pitest reports
run: mvn pitest-git:aggregate -DtrailingText="Mutation testing report by [Pitest](https://pitest.org/). Review any surviving mutants by inspecting the line comments under [_Files changed_](${{ github.event.number }}/files)."
run: mvn pitest-git:aggregate -DkilledEmoji=":tada:" -DmutantEmoji=":zombie:" -DtrailingText="Mutation testing report by [Pitest](https://pitest.org/). Review any surviving mutants by inspecting the line comments under [_Files changed_](${{ github.event.number }}/files)."
- name: Upload Pitest reports as artifact
uses: actions/[email protected]
with:
Expand Down
2 changes: 1 addition & 1 deletion cdg-pitest-licence.txt → cdg-pitest-license.txt
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#Licence file for pitest extensions
#License file for pitest extensions
#Mon Nov 07 08:41:17 GMT 2022
expires=07/11/2023
keyVersion=1
Expand Down

0 comments on commit 649066f

Please sign in to comment.