matuniverso thank you for the suggestion!
I'll take a look. At the first sight, it looks like
- it provides the same output as PHPUnit (
--teamcity), which is good.
- tests look different, so we would have to implement a new test discovery, which would take some time.
I can see there are no other extensions for Pest with Test Explorer UI, so it makes sense for us to do it.