Update docs about CI (#230)

Fixes #207
sourcefrog · Jan 11, 2024 · 85a5c15 · 85a5c15
2 parents 94e8d19 + 664bac9
commit 85a5c15
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/book/src/pr-diff.md b/book/src/pr-diff.md
@@ -29,7 +29,10 @@ jobs:
           git branch -av
           git diff origin/${{ github.base_ref }}.. | tee git.diff
       - uses: Swatinem/rust-cache@v2
-      - run: cargo install cargo-mutants
+      - uses: taiki-e/install-action@v2
+        name: Install cargo-mutants using install-action
+        with:
+          tool: cargo-mutants
       - name: Mutants
         run: |
           cargo mutants --no-shuffle -j 2 -vV --in-diff git.diff