A continuous integration system built on AWS Lambda