Hello, I'm a long time CDK user and I want to give Pulumi a try. Is there any benchmark/comparison on the deployment speed between CDK and Pulumi (which is basically Cloudformation vs Terraform?)

Perfect thanks!