They mention run code run (http://runcoderun.com/) which is hosted CI.