Fix CI bug where tests ran forever (and ever...)