chore: merge Golang/dev branch with mainline - #704

Merged

rishav-karanjit merged 14 commits into

Golang/dev-MergewithMain

Dec 2, 2024

Commits on Oct 2, 2024

chore(examples; MPL bump): Shared cache across Hierarchical Keyrings; Bump MPL to 1.7.0 (#680)
RitvikKapila
authored
d8ca214
fix: Bump more CI to Dafny 4.8 (#683)
lucasmcdonald3
authored
56fcd13

Commits on Oct 3, 2024

test(test_vectors): Support reading manifests that specify a hierarchy keyring (#649)
lucasmcdonald3
authored
a7466e6

Commits on Oct 4, 2024

chore: Rename AtomicPrimitives Dafny module name (#673)
lucasmcdonald3
authored
e042e92

Commits on Oct 14, 2024

chore(cfn/CI.yaml): setup region based roles for Client Supplier Example (#684)
RitvikKapila
authored
74b0107

Commits on Oct 16, 2024

chore(gitignore): Ignore *-cs.dtr and node_modules (#686)
RitvikKapila
authored
83744db

Commits on Oct 17, 2024

chore(CI.yaml): update cfn template (#687)
RitvikKapila
authored
864c2e2

Commits on Oct 30, 2024

chore(dafny-verification): fix timeout for Dafny 4.8.1 (#690)
RitvikKapila
authored
bc46d0f

Commits on Nov 4, 2024

chore: bump macos from 12 to 13 in CI (#691)
ajewellamz
authored
756888e

Commits on Nov 13, 2024

test: initial commit of ESDK TestVectors (#678)

authored
fdd25ad

Commits on Nov 15, 2024

test: add support for legacy test vectors (#695)
josecorella
authored
0a53669

Commits on Nov 19, 2024

chore(TestVectors): add DefaultCmm Tests (#698)
RitvikKapila
authored
a287d45

Commits on Dec 2, 2024

Merge branch 'mainline' into Golang/dev-MergewithMain
rishav-karanjit
committed
65452d3
Remove smithy dafny submodule
rishav-karanjit
committed
2904a36