From 1f4c0d4b11476cc327e928273f97c2a0d8ad6953 Mon Sep 17 00:00:00 2001
From: Simon Wisselink <wisskid@users.noreply.github.com>
Date: Sun, 29 Jan 2023 21:41:50 +0100
Subject: [PATCH] Update ci.yml

We cannot run a git diff, because usort may sort equal rules differently on different PHP versions.
---
 .github/workflows/ci.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e5e7c8b1..c0a87129 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -67,9 +67,6 @@ jobs:
 
     - name: Run make
       run: make -B
-      
-    - 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