phpunit Kernel tests are run twice

[Berdir]

Unlike unit tests, kernel tests are added to the right test group.

That means they're run twice, once with phpunit and once with run-tests.sh

[Berdir]

There is a new --types argument now, testbot sets it to this to run javascript tests separately:

--types "Simpletest,PHPUnit-Unit,PHPUnit-Kernel,PHPUnit-Functional"

We should probably limit to Simpletest only?

[LionsAd]

Yes, likely.