It takes WAY too long to execute the tests, and isn't managed as part of Github Actions, so it should be put to rest.