From c5d5d1115f4518758fd561e4e73478c8e527f01e Mon Sep 17 00:00:00 2001
From: Rangi <remy.oukaour+rangi@gmail.com>
Date: Sun, 20 Jun 2021 12:13:52 -0400
Subject: Try restoring the git status check in CI (see issue #67)

---
 .github/workflows/main.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3562960..8cac4e7 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -47,3 +47,8 @@ jobs:
       - name: Compare
         run: |
           make -j$(nproc) compare
+          if ! git diff-index --quiet HEAD --; then
+            echo 'Uncommitted changes detected:'
+            git diff-index HEAD --
+            return 1
+          fi
-- 
cgit v1.2.3