From 9c096411a2bd2144c6f3af34193ee865d74fb885 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 14 Nov 2023 22:42:39 -0500
Subject: [PATCH] debug git diff

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index bed4addf..47f93677 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -45,7 +45,7 @@ jobs:
       - run: opam exec -- dune build @lint
 
       # check that nothing changed
-      - run: git diff --quiet --exit-code
+      - run: git diff --exit-code
 
       - run: opam exec -- dune build @runtest
         if: ${{ matrix.os == 'ubuntu-latest' }}