Deployment

• GitHub Actions SHOULD be used as the preferred deployment tool
• External automation service such as Jenkins and CodeDeploy MUST NOT be used