Update ci.yml

We cannot run a git diff, because usort may sort equal rules differently on different PHP versions.
This commit is contained in:
Simon Wisselink
2023-01-29 21:41:50 +01:00
committed by GitHub
parent e809746541
commit 1f4c0d4b11

View File

@@ -68,8 +68,5 @@ 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