From 235be7ee1586adbac9608aa26ccd09feabe8fd19 Mon Sep 17 00:00:00 2001 From: Martin Pool Date: Mon, 4 Dec 2023 08:18:22 -0800 Subject: [PATCH] Rename job to "pr-mutants" We might use the name "incremental" for iterating on failing mutants --- .github/workflows/tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 955e0440..d4e64991 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -47,7 +47,7 @@ jobs: - name: Test run: cargo test --workspace - incremental-mutants: + pr-mutants: runs-on: ubuntu-latest if: github.event_name == 'pull_request' steps: