Skip to content

fix: No time-based loss detection before largest_acked & fixes #1748

fix: No time-based loss detection before largest_acked & fixes

fix: No time-based loss detection before largest_acked & fixes #1748

Workflow file for this run

name: Find mutants
on:
push:
branches: ["main"]
paths-ignore: ["*.md", "*.png", "*.svg", "LICENSE-*"]
pull_request:
branches: ["main"]
paths-ignore: ["*.md", "*.png", "*.svg", "LICENSE-*"]
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref_name }}
cancel-in-progress: true
permissions:
contents: read
jobs:
mutants:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
with:
fetch-depth: 0
- id: nss-version
run: echo "minimum=$(cat neqo-crypto/min_version.txt)" >> "$GITHUB_OUTPUT"
- uses: ./.github/actions/nss
with:
minimum-version: ${{ steps.nss-version.outputs.minimum }}
- uses: ./.github/actions/rust
with:
tools: cargo-mutants
token: ${{ secrets.GITHUB_TOKEN }}
- name: Find incremental mutants
if: github.event_name == 'pull_request'
run: |
git diff origin/${{ github.base_ref }}.. > pr.diff
set -o pipefail
cargo mutants --test-tool=nextest --no-shuffle -j 2 -vV --in-diff pr.diff | tee results.txt || true
echo 'TITLE=Incremental Mutants' >> "$GITHUB_ENV"
- name: Find mutants
if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch'
run: |
set -o pipefail
cargo mutants --test-tool=nextest -vV --in-place | tee results.txt || true
echo 'TITLE=All Mutants' >> "$GITHUB_ENV"
- name: Post step summary
if: always()
run: |
{
echo "### $TITLE"
echo "See https://mutants.rs/using-results.html for more information."
echo '```'
sed 's/\x1b\[[0-9;]*[mGKHF]//g' results.txt
echo '```'
} > "$GITHUB_STEP_SUMMARY"
- uses: actions/upload-artifact@50769540e7f4bd5e21e526ee35c689e35e0d6874 # v4.4.0
if: always()
with:
name: mutants.out
path: mutants.out