Merge branch 'main' into whitesource-remediate/gradle-9.x

Author: ohltyler

.github/workflows/publish-snapshots.yml

@@ -27,7 +27,7 @@ jobs:
       - uses: actions/checkout@v4
 
       - name: Load secret
-        uses: 1password/load-secrets-action@v2
+        uses: 1password/load-secrets-action@v3
         with:
           # Export loaded secrets as environment variables
           export-env: true

build.gradle

@@ -38,7 +38,7 @@ buildscript {
         // Version constants for dependencies
         awsEncryptionSdkVersion = "3.0.2"
         awsCryptoMaterialProvidersVersion = "1.11.0"
-        dafnyRuntimeVersion = "4.10.0"
+        dafnyRuntimeVersion = "4.11.0"
         smithyDafnyVersion = "0.1.1"
         gsonVersion = "2.13.1"
         junitJupiterVersion = "5.13.3"