From e809746541d6ddcfb08af831ba64d2f48821c152 Mon Sep 17 00:00:00 2001
From: Simon Wisselink <wisskid@users.noreply.github.com>
Date: Sat, 28 Jan 2023 13:27:13 +0100
Subject: [PATCH] Update ci.yml

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 43d09647..e5e7c8b1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -68,8 +68,8 @@ jobs:
     - name: Run make
       run: make -B
       
-    - name: diff
-      run: git diff
+    - name: Check no changes after rebuild of lexers and parsers
+      run: git diff --exit-code
 
     - name: Run tests with phpunit
       run: php ./vendor/phpunit/phpunit/phpunit