Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: allow local testing #1267

Merged
merged 1 commit into from
Jan 30, 2025
+17 −18
Merged

chore: allow local testing #1267

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ var props = Properties().apply {
var dafnyVersion = props.getProperty("dafnyVersion")

group = "software.amazon.cryptography"
version = "1.7.5"
version = "1.7.5-SNAPSHOT"
description = "AWS Cryptographic Material Providers Library"

java {
Expand Down
10 changes: 5 additions & 5 deletions AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[tool.poetry]
name = "aws-cryptographic-material-providers"
version = "1.7.5"
version = "1.8.0"
description = "AWS Cryptographic Material Providers Library for Python"
authors = ["AWS Crypto Tools <[email protected]>"]
packages = [
Expand All @@ -13,10 +13,10 @@ readme = "README.rst"

[tool.poetry.dependencies]
python = "^3.11.0"
aws-cryptography-internal-standard-library = "1.7.5"
aws-cryptography-internal-kms = "1.7.5"
aws-cryptography-internal-dynamodb = "1.7.5"
aws-cryptography-internal-primitives = "1.7.5"
aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
aws-cryptography-internal-kms = {path = "../../../ComAmazonawsKms/runtimes/python"}
aws-cryptography-internal-dynamodb = {path = "../../../ComAmazonawsDynamodb/runtimes/python"}
aws-cryptography-internal-primitives = {path = "../../../AwsCryptographyPrimitives/runtimes/python"}

# Package testing

Expand Down
4 changes: 2 additions & 2 deletions AwsCryptographyPrimitives/runtimes/python/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[tool.poetry]
name = "aws-cryptography-internal-primitives"
version = "1.7.5"
version = "1.8.0"
description = ""
authors = ["AWS Crypto Tools <[email protected]>"]
packages = [
Expand All @@ -12,7 +12,7 @@ include = ["**/internaldafny/generated/*.py"]

[tool.poetry.dependencies]
python = "^3.11.0"
aws-cryptography-internal-standard-library = "1.7.5"
aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
cryptography = "^43.0.1"

# Package testing
Expand Down
5 changes: 2 additions & 3 deletions ComAmazonawsDynamodb/runtimes/python/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[tool.poetry]
name = "aws-cryptography-internal-dynamodb"
version = "1.7.5"
version = "1.8.0"
description = ""
authors = ["AWS Crypto Tools <[email protected]>"]
packages = [
Expand All @@ -13,8 +13,7 @@ include = ["**/internaldafny/generated/*.py"]
[tool.poetry.dependencies]
python = "^3.11.0"
boto3 = "^1.35.42"
aws-cryptography-internal-standard-library = "1.7.5"

aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
# Package testing

[tool.poetry.group.test]
Expand Down
4 changes: 2 additions & 2 deletions ComAmazonawsKms/runtimes/python/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[tool.poetry]
name = "aws-cryptography-internal-kms"
version = "1.7.5"
version = "1.8.0"
description = ""
authors = ["AWS Crypto Tools <[email protected]>"]
packages = [
Expand All @@ -13,7 +13,7 @@ include = ["**/internaldafny/generated/*.py"]
[tool.poetry.dependencies]
python = "^3.11.0"
boto3 = "^1.35.42"
aws-cryptography-internal-standard-library = "1.7.5"
aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}

# Package testing

Expand Down
4 changes: 2 additions & 2 deletions StandardLibrary/runtimes/python/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[tool.poetry]
name = "aws-cryptography-internal-standard-library"
version = "1.7.5"
version = "1.8.0"
description = ""
authors = ["AWS Crypto Tools <[email protected]>"]
packages = [
Expand All @@ -18,7 +18,7 @@ include = [
python = "^3.11.0"
pytz = "^2023.3.post1"
# TODO: Longer-term, write something to pull this in from the project's project.properties file
DafnyRuntimePython = "4.8.1.post1"
DafnyRuntimePython = "4.9.0"

# Package testing

Expand Down
4 changes: 2 additions & 2 deletions TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ var props = Properties().apply {
var dafnyVersion = props.getProperty("dafnyVersion")

group = "software.amazon.cryptography"
version = "1.7.5"
version = "1.7.5-SNAPSHOT"
description = "TestAwsCryptographicMaterialProviders"

java {
Expand Down Expand Up @@ -68,7 +68,7 @@ repositories {
dependencies {
implementation("org.dafny:DafnyRuntime:${dafnyVersion}")
implementation("software.amazon.smithy.dafny:conversion:0.1.1")
implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.7.5")
implementation("software.amazon.cryptography:aws-cryptographic-material-providers:1.7.5-SNAPSHOT")
implementation(platform("software.amazon.awssdk:bom:2.25.1"))
implementation("software.amazon.awssdk:dynamodb")
implementation("software.amazon.awssdk:dynamodb-enhanced")
Expand Down
2 changes: 1 addition & 1 deletion project.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,4 +7,4 @@
# And the Dotnet projects include and parse this file.
dafnyVersion=4.8.0
dafnyVerifyVersion=4.8.0
mplVersion=1.7.5
mplVersion=1.7.5-SNAPSHOT
Loading