chore(CI): Enable local testing (#766)

Author: lucasmcdonald3

AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts

@@ -18,7 +18,7 @@ var props = Properties().apply {
 var dafnyVersion = props.getProperty("dafnyVersion")
 
 group = "software.amazon.cryptography"
-version = "1.7.0"
+version = "1.7.0-SNAPSHOT"
 description = "AWS Cryptographic Material Providers Library"
 
 java {

TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts

@@ -20,7 +20,7 @@ var props = Properties().apply {
 var dafnyVersion = props.getProperty("dafnyVersion")
 
 group = "software.amazon.cryptography"
-version = "1.7.0"
+version = "1.7.0-SNAPSHOT"
 description = "TestAwsCryptographicMaterialProviders"
 
 java {
@@ -68,7 +68,7 @@ repositories {
 dependencies {
     implementation("org.dafny:DafnyRuntime:${dafnyVersion}")
     implementation("software.amazon.smithy.dafny:conversion:0.1")
-    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.7.0")
+    implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.7.0-SNAPSHOT")
     implementation(platform("software.amazon.awssdk:bom:2.25.1"))
     implementation("software.amazon.awssdk:dynamodb")
     implementation("software.amazon.awssdk:dynamodb-enhanced")

project.properties

@@ -7,4 +7,4 @@
 # And the Dotnet projects include and parse this file.
 dafnyVersion=4.8.0
 dafnyVerifyVersion=4.8.0
-mplVersion=1.7.0
+mplVersion=1.7.0-SNAPSHOT