Skip to content

chore(go): Run daily CI with latest dependencies #1652

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

Open
wants to merge 14 commits into
base: main
Choose a base branch
from
Open

chore(go): Run daily CI with latest dependencies #1652

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
9cb4a8c
auto commit
rishav-karanjit Jul 30, 2025
5aa60d5
Test go get -u
rishav-karanjit Jul 30, 2025
2c6002c
Update library_go_tests.yml
rishav-karanjit Jul 30, 2025
3f5187c
Update library_interop_tests.yml
rishav-karanjit Jul 30, 2025
3563710
auto commit
rishav-karanjit Jul 30, 2025
03db6df
auto commit
rishav-karanjit Jul 30, 2025
40d1741
auto commit
rishav-karanjit Jul 30, 2025
9506316
auto commit
rishav-karanjit Jul 30, 2025
62cab1e
auto commit
rishav-karanjit Jul 30, 2025
855b415
auto commit
rishav-karanjit Jul 30, 2025
e994f4d
auto commit
rishav-karanjit Jul 30, 2025
54a1f11
Test on PR
rishav-karanjit Jul 30, 2025
b2a743a
Revert "Test on PR"
rishav-karanjit Jul 30, 2025
d67a0a7
Merge branch 'main' into rishav/getlatestdeps
rishav-karanjit Jul 30, 2025
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
7 changes: 7 additions & 0 deletions .github/workflows/library_go_tests.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -95,6 +95,13 @@ jobs:
run: |
make purge_polymorph_code

- name: Use latest minor or patch releases
if: github.event_name == 'schedule'
working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go
shell: bash
run: |
go get -u ./...

- name: Test ${{ matrix.library }}
working-directory: ./${{ matrix.library }}
shell: bash
Expand Down
7 changes: 7 additions & 0 deletions .github/workflows/library_interop_tests.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -182,6 +182,13 @@ jobs:
run: |
make purge_polymorph_code

- name: Use latest minor or patch releases
if: matrix.language == 'go' && github.event_name == 'schedule'
working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go
shell: bash
run: |
go get -u ./...

- name: Setup gradle
if: matrix.language == 'java'
uses: gradle/gradle-build-action@v2
Expand Down
9 changes: 4 additions & 5 deletions AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,10 +34,9 @@ require (
)

replace (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/

github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
)

replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
11 changes: 5 additions & 6 deletions AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,16 +2,15 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/m

go 1.23.0

replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../ImplementationFromDafny-go

replace (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/

github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../ImplementationFromDafny-go
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
)

replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/

require (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0
Expand Down
2 changes: 1 addition & 1 deletion AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/p

go 1.23.0

replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../ImplementationFromDafny-go
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../ImplementationFromDafny-go

require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0

Expand Down
4 changes: 2 additions & 2 deletions StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,11 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/s

go 1.23.0

replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 => ../ImplementationFromDafny-go
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../ImplementationFromDafny-go

require (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1
)

require github.com/google/uuid v1.6.0 // indirect
8 changes: 4 additions & 4 deletions TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,10 +3,10 @@ module github.com/aws/aws-cryptographic-material-providers-library/testvectors
go 1.23.2

replace (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
)

Expand Down
10 changes: 5 additions & 5 deletions TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,12 +3,12 @@ module github.com/aws/aws-cryptographic-material-providers-library/testvectors/t
go 1.23.2

replace (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0 => ../ImplementationFromDafny-go
github.com/aws/aws-cryptographic-material-providers-library/testvectors => ../ImplementationFromDafny-go
)

require (
Expand Down
Loading