From d4fc1afbb9391b5a7f80471e8a84e6dd0c3b25cb Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Fri, 5 Jul 2024 16:48:13 +0200
Subject: [PATCH] CI: it worked (almost)

---
 .github/workflows/harness.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/harness.yml b/.github/workflows/harness.yml
index d3e8d3c1..c2f4f45e 100644
--- a/.github/workflows/harness.yml
+++ b/.github/workflows/harness.yml
@@ -95,7 +95,6 @@ jobs:
       - name: Check promoted files
         run: |
           cd /home/ocaml/catala && opam exec -- make check-promoted
-          git diff --exit-code
       - name: Run tests
         if: ${{ always() }}
         run: cd /home/ocaml/catala && opam exec -- make testsuite