Ruud Kamphuis
Ruud Kamphuis
Maybe this is a limitation in Github PR Checks but I'm trying to run reviewdog 3 times in the same Action that all report in their own level, so `info`,...
When I create a mock it returns a mock that implements https://github.com/mockery/mockery/blob/master/library/Mockery/MockInterface.php. That interface has 2 methods `allows` and `expects` and extends from https://github.com/mockery/mockery/blob/master/library/Mockery/LegacyMockInterface.php. This interface is called the legacy...
Errors like #328 could have been prevented by using static analysis.
PHP 8.1
I was wondering what the status is for supporting PHP 8.1. I use `develop` branch and it seems to work great. Does the [latest stable](https://pecl.php.net/package/redis/5.3.5) also work on PHP 8.1?
### Expected behaviour ### Actual behaviour ### I'm seeing this behaviour on - OS: Ubuntu 20.04 - Redis: 6.2.6 - PHP: 8.1 - phpredis: 5.3.5 ### Steps to reproduce, backtrace...
| Q | A | ---------------- | ----- | Bug report? | yes | Feature request? | no | BC Break report? | no | RFC? | no | Version/Branch...
This makes it easier to add newer PHP versions like PHP 8.1 and 8.2 (dev).
Often I want to name certain profiles. For example "Main branch", "Feature branch" to spot the differences. Would be great if there was a way to pass the profile name...
It would be great if there was a delete button for every profile to quickly delete it. When doing a lot of profiles, it often becomes a mess. For now...
Looking at the example from the [readme](https://github.com/thatisuday/commando#usage-of-the-sub-command) I noticed that Commando doesn't display the correct information. It shows the red one, but I expected to see the green one: ```diff...