From ddb564c55edef94f1e62e99c1ec9fdd1cd6575a9 Mon Sep 17 00:00:00 2001 From: Markus Staab Date: Tue, 17 Dec 2024 11:45:55 +0100 Subject: [PATCH] skip lint --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 11807088ca..ae0595d5bb 100644 --- a/Makefile +++ b/Makefile @@ -77,6 +77,7 @@ lint: --exclude tests/PHPStan/Rules/Classes/data/extends-readonly-class.php \ --exclude tests/PHPStan/Rules/Classes/data/instantiation-promoted-properties.php \ --exclude tests/PHPStan/Rules/Classes/data/bug-11592.php \ + --exclude tests/PHPStan/Rules/Classes/data/bug-12281.php \ src tests cs: