Which of the following technology categorized as Infrastructure as code (IAC) or CICD tool? Terraform, AWS Cloud Formation , Github actions, Azure Devops pipeline