mirror of
https://github.com/jlengrand/error-prone-support.git
synced 2026-03-10 08:11:25 +00:00
65e0abd26a
Summary of changes: - Use JDK 17.0.14 instead of 17.0.13. - Use JDK 21.0.6 instead of 21.0.5. - Use JDK 24 instead of 23.0.1. - Have GitHub issue template reference more recent version numbers. See: - https://adoptium.net/temurin/release-notes/?version=jdk-17.0.14+7 - https://adoptium.net/temurin/release-notes/?version=jdk-21.0.6+7 - https://adoptium.net/temurin/release-notes/?version=jdk-24+36
45 lines
2.0 KiB
YAML
45 lines
2.0 KiB
YAML
# Performs mutation testing analysis on the files changed by a pull request and
|
|
# 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"
|
|
on:
|
|
pull_request:
|
|
permissions:
|
|
contents: read
|
|
jobs:
|
|
analyze-pr:
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- name: Install Harden-Runner
|
|
uses: step-security/harden-runner@c6295a65d1254861815972266d5933fd6e532bdf # v2.11.1
|
|
with:
|
|
disable-sudo: true
|
|
egress-policy: block
|
|
allowed-endpoints: >
|
|
api.adoptium.net:443
|
|
github.com:443
|
|
objects.githubusercontent.com:443
|
|
repo.maven.apache.org:443
|
|
- name: Check out code and set up JDK and Maven
|
|
uses: s4u/setup-maven-action@4f7fb9d9675e899ca81c6161dadbba0189a4ebb1 # v1.18.0
|
|
with:
|
|
checkout-fetch-depth: 2
|
|
java-version: 17.0.14
|
|
java-distribution: temurin
|
|
maven-version: 3.9.9
|
|
- name: Run Pitest
|
|
# By running with features `+GIT(from[HEAD~1]), +gitci`, Pitest only
|
|
# analyzes lines changed in the associated pull request, as GitHub
|
|
# exposes the changes unique to the PR as a single commit on top of the
|
|
# target branch. See https://blog.pitest.org/pitest-pr-setup for
|
|
# details.
|
|
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 -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/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
|
|
with:
|
|
name: pitest-reports
|
|
path: ./target/pit-reports-ci
|