Skip to content

Commit dd8cdf1

Browse files
github-actions[bot]actions-userrishav-karanjit
authored
chore(go): Release kms Go module 0.2.1 (#1667)
Co-authored-by: GitHub Actions <[email protected]> Co-authored-by: rishav-karanjit <[email protected]>
1 parent fa3f98b commit dd8cdf1

File tree

8 files changed

+622
-420
lines changed

8 files changed

+622
-420
lines changed

‎releases/go/kms/CHANGELOG.md‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,38 @@
11
# Changelog
22

3+
## [releases/go/mpl/v0.2.1] - 2025-08-06
4+
5+
### Fixes
6+
7+
- _(all languages)_ Bump Dafny libraries for JSON fix (#1517)
8+
9+
### Maintenance
10+
11+
- _(all languages)_ Update ddb model (#1357)
12+
- _(all languages)_ Don't recalculate RSA key on every decrypt (#1448)
13+
- _(all languages)_ Store privateKey in RawRSAKeyring because some Java code needs it (#1450)
14+
- _(go)_ Remove print statements from testLotsOfAdding (#1468)
15+
- _(all languages)_ Support for memory size constraints (#1481)
16+
- _(all languages)_ Update UInt and MemoryMath as needed for DB-ESDK (#1488)
17+
- _(all languages)_ More using uint64 instead of nat (#1490)
18+
- _(go)_ Implement missing MutableMap::content() (#1519)
19+
- _(all languages)_ BK fix to extract encryption context for branch key materials (#1523)
20+
- _(all languages)_ Make HasSubString generic (#1549)
21+
- _(all languages)_ Update makefile to only use prettier 3.5.3 (#1577)
22+
- _(all languages)_ Remove negative test for codebuild runner (#1603)
23+
- _(go)_ Automate changelog for Go release (#1607)
24+
- _(all languages)_ Append our user agent in KMS client (#1564)
25+
- _(all languages)_ Add Rust and Go to supported languages (#1492)
26+
- _(go)_ Update go test matrix and clean up setup (#1625)
27+
- _(all languages)_ Add search and replace methods (#1649)
28+
- _(go)_ Update Go release script for ESDK and DB-ESDK (#1653)
29+
- _(go)_ Release smithy-dafny-standard-library Go module 0.2.1 (#1666)
30+
31+
### Miscellaneous
32+
33+
- _(all languages)_ Restore static test branch key id (#1404)
34+
- _(all languages)_ Add tests for multiple utf8 ec entries (#1424)
35+
336
# [0.2.0] (2025-03-18)
437

538
- Breaks compatibility with v0.1.0 when using chars with unicode codepoints > 65535

‎releases/go/kms/ComAmazonawsKmsTypes/ComAmazonawsKmsTypes.go‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,7 @@ import (
3333
m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting"
3434
m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary"
3535
m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop"
36+
m_StandardLibrary_MemoryMath "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_MemoryMath"
3637
m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence"
3738
m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String"
3839
m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt"
@@ -74,6 +75,7 @@ var _ m_Power.Dummy__
7475
var _ m_Logarithm.Dummy__
7576
var _ m_StandardLibraryInterop.Dummy__
7677
var _ m_StandardLibrary_UInt.Dummy__
78+
var _ m_StandardLibrary_MemoryMath.Dummy__
7779
var _ m_StandardLibrary_Sequence.Dummy__
7880
var _ m_StandardLibrary_String.Dummy__
7981
var _ m_StandardLibrary.Dummy__

‎releases/go/kms/Com_Amazonaws_Kms/Com_Amazonaws_Kms.go‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,6 +70,7 @@ import (
7070
m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting"
7171
m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary"
7272
m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop"
73+
m_StandardLibrary_MemoryMath "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_MemoryMath"
7374
m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence"
7475
m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String"
7576
m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt"
@@ -111,6 +112,7 @@ var _ m_Power.Dummy__
111112
var _ m_Logarithm.Dummy__
112113
var _ m_StandardLibraryInterop.Dummy__
113114
var _ m_StandardLibrary_UInt.Dummy__
115+
var _ m_StandardLibrary_MemoryMath.Dummy__
114116
var _ m_StandardLibrary_Sequence.Dummy__
115117
var _ m_StandardLibrary_String.Dummy__
116118
var _ m_StandardLibrary.Dummy__
@@ -200,7 +202,7 @@ func (_static *CompanionStruct_Default___) DefaultKMSClientConfigType() KMSClien
200202
return Companion_KMSClientConfigType_.Create_KMSClientConfigType_()
201203
}
202204
func (_static *CompanionStruct_Default___) DafnyUserAgentSuffix(runtime _dafny.Sequence) _dafny.Sequence {
203-
var _0_version _dafny.Sequence = _dafny.SeqOfString("1.0.1")
205+
var _0_version _dafny.Sequence = _dafny.SeqOfString("1.11.0")
204206
_ = _0_version
205207
return _dafny.Companion_Sequence_.Concatenate(_dafny.Companion_Sequence_.Concatenate(_dafny.Companion_Sequence_.Concatenate(_dafny.SeqOfString("AwsCryptographicMPL/"), runtime), _dafny.SeqOfString("/")), _0_version)
206208
}

‎releases/go/kms/Com_Amazonaws_Kms/externs.go‎

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ import (
66
ComAmazonawsKmsTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes"
77
"github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped"
88
"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
9+
"github.com/aws/aws-sdk-go-v2/aws/middleware"
910
"github.com/aws/aws-sdk-go-v2/config"
1011
"github.com/aws/aws-sdk-go-v2/service/kms"
1112
_dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
@@ -19,6 +20,7 @@ func (_static *CompanionStruct_Default___) KMSClientForRegion(regionInput _dafny
1920
}
2021
return Wrappers.Companion_Result_.Create_Success_(&KMSwrapped.Shim{Client: kms.NewFromConfig(cfg, func(o *kms.Options) {
2122
o.Region = region
23+
o.APIOptions = append(o.APIOptions, middleware.AddUserAgentKey(_static.UserAgentSuffix()))
2224
})})
2325
}
2426

@@ -27,7 +29,9 @@ func (_static *CompanionStruct_Default___) KMSClient() Wrappers.Result {
2729
if err != nil {
2830
return Wrappers.Companion_Result_.Create_Failure_(ComAmazonawsKmsTypes.Companion_Error_.Create_KMSInternalException_(Wrappers.Companion_Option_.Create_Some_(_dafny.SeqOfChars([]_dafny.Char(err.Error())...))))
2931
}
30-
return Wrappers.Companion_Result_.Create_Success_(&KMSwrapped.Shim{Client: kms.NewFromConfig(cfg)})
32+
return Wrappers.Companion_Result_.Create_Success_(&KMSwrapped.Shim{Client: kms.NewFromConfig(cfg, func(o *kms.Options) {
33+
o.APIOptions = append(o.APIOptions, middleware.AddUserAgentKey(_static.UserAgentSuffix()))
34+
})})
3135
}
3236

3337
func (_static *CompanionStruct_Default___) RegionMatch(ikmsClient ComAmazonawsKmsTypes.IKMSClient, regionInput _dafny.Sequence) Wrappers.Option {
@@ -47,3 +51,12 @@ func toString(input _dafny.Sequence) *string {
4751
}
4852
}
4953
}
54+
55+
func (_static *CompanionStruct_Default___) UserAgentSuffix() string {
56+
// Create a Dafny sequence with "Go" as the runtime
57+
runtime := _dafny.SeqOfChars([]_dafny.Char("Go")...)
58+
59+
// Call the DafnyUserAgentSuffix function and convert the result to a Go string
60+
dafnyUserAgentSuffix := _static.DafnyUserAgentSuffix(runtime)
61+
return *toString(dafnyUserAgentSuffix)
62+
}

0 commit comments

Comments
 (0)