You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
thanks, thats a great advice which helped to narrow the problem.
in our case the problem is/was, that because of a bug in the github actions workflow, a very old result-cache was restored in some cases, which in turn made PHPStan reporting, that the scannedFiles are no longer up 2 date.
Bug report
in our CI pipeline the result cache usually works.
I can see that result cache is not used in a particular project with a pretty simple config
the only thing which stands out is the use of
scanDirectories
... on the CI console I can seeI will leave this issue here for bugtracking and to get a issue number :-).
I will update the issue as soon as I know more - stay tuned.
Code snippet that reproduces the problem
No response
Expected output
result cache should be used and not work differently when
scanDirectories
is usedDid PHPStan help you today? Did it make you happy in any way?
No response
The text was updated successfully, but these errors were encountered: