From b79e5b34c9edc0c8ee27981f2766ca36f6b5d79d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20FIDRY?= <theo.fidry@gmail.com>
Date: Sun, 26 Jun 2022 16:26:30 +0200
Subject: [PATCH] Add GitHub logger for Infection (#687)

Log infection as GitHub comments
---
 .github/workflows/unit-tests.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/unit-tests.yaml b/.github/workflows/unit-tests.yaml
index 3c7f8d3a3..caaab8f60 100644
--- a/.github/workflows/unit-tests.yaml
+++ b/.github/workflows/unit-tests.yaml
@@ -111,7 +111,7 @@ jobs:
             -   name: Configure Infection for the CI
                 run: |
                     git fetch origin $GITHUB_BASE_REF
-                    echo "INFECTION_FLAGS=--git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF --ignore-msi-with-no-mutations" >> "$GITHUB_ENV"
+                    echo "INFECTION_FLAGS=--git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF --ignore-msi-with-no-mutations --logger-github" >> "$GITHUB_ENV"
 
             -   name: Run Infection
                 run: make tm