Skip to content

Conversation

@paulbalandan
Copy link
Contributor

@ondrejmirtes
Copy link
Member

Lint fails - path to this file needs to be added as --exclude in the Makefile.

@paulbalandan paulbalandan force-pushed the interface-property branch 2 times, most recently from 8443e81 to 4f967e8 Compare November 13, 2023 08:23
@ondrejmirtes ondrejmirtes merged commit afd7975 into phpstan:1.10.x Nov 13, 2023
@ondrejmirtes
Copy link
Member

Thank you!

@paulbalandan paulbalandan deleted the interface-property branch November 13, 2023 10:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants