Making Serverless CI/CD Easier with CircleCI and AWS