So, I would consider the work on moving the Robolectric extension and updating versions etc to the main repo done.
I’ve tried to create an Android submodule in the tests module in order to have a proof that the extension works, but it is not passing giving me runtime errors regarding some internal Robolectric classes not found.
Although, the extension seems to be perfectly working if I use an external project linked with the library produced by kotest, so I think it’s mostly a problem regarding the definitely weird nature of adding an android project as a sub-sub-module of a multiplatform project