Code

chore(ci): Fix nightly build#1468

Code

Draft

robin-aws wants to merge 6 commits intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom

robin-aws/fix-nightly-build-2024-10-28aws/aws-database-encryption-sdk-dynamodb:robin-aws/fix-nightly-build-2024-10-28Copy head branch name to clipboard

Commits

Commits on Oct 28, 2024

• Java 17 and install dependencies

  robin-aws

  committed
  e6d3d10

  Copy full SHA for e6d3d10

• Update smithy-dafny

  robin-aws

  committed
  b60430e

  Copy full SHA for b60430e

Commits on Oct 29, 2024

• Verification fixes

  robin-aws

  committed
  6b9a948

  Copy full SHA for 6b9a948

• don’t regenerate code in nightly any more

  robin-aws

  committed
  495d520

  Copy full SHA for 495d520

• Fix codegen workflow

  robin-aws

  committed
  b2a68a8

  Copy full SHA for b2a68a8

• Revert smithy-dafny

  robin-aws

  committed
  31f1b60

  Copy full SHA for 31f1b60