chore(deps): Bump aws-cdk-lib from 2.77.0 to 2.80.0 in /infra (#3503)

Bumps [aws-cdk-lib](https://github.com/aws/aws-cdk/tree/HEAD/packages/aws-cdk-lib) from 2.77.0 to 2.80.0.
- [Release notes](https://github.com/aws/aws-cdk/releases)
- [Changelog](https://github.com/aws/aws-cdk/blob/main/CHANGELOG.v2.md)
- [Commits](https://github.com/aws/aws-cdk/commits/v2.80.0/packages/aws-cdk-lib)

---
updated-dependencies:
- dependency-name: aws-cdk-lib
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]

infra/package.json

@@ -28,7 +28,7 @@
     "@aws-cdk/aws-cognito-identitypool-alpha": "2.77.0-alpha.0",
     "@aws-crypto/client-node": "^3.2.0",
     "@aws-sdk/client-cognito-identity-provider": "^3.321.1",
-    "aws-cdk-lib": "2.77.0",
+    "aws-cdk-lib": "2.80.0",
     "constructs": "^10.2.9",
     "node-fetch": "^3.3.1",
     "source-map-support": "^0.5.21"