Open 66Ton99 opened 11 years ago
Thanks for reporting.
This is a problem with GitHub API rate limit. We are looking into how to solve these more reliably.
This should be solved now.
@schmittjoh I think this would work fine if I could at least use the --prefer-dist
flag. It seems that when adding that it also adds the --prefer-source
flag.
I just realised that there is now support for externally provided code coverage. This is great, thanks @schmittjoh
https://scrutinizer-ci.com/g/66Ton99/BeSimpleWsdlToPhp/inspections/2415afd7-aa24-4997-b91a-6a8abb8f92f2 - ssh https://scrutinizer-ci.com/g/66Ton99/BeSimpleWsdlToPhp/inspections/8465b27f-621a-4f20-85ec-15b56c01bb95 - https