From 9cb4a8cdb5f077d5582e4b223135021a179809c4 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 29 Jul 2025 19:44:36 -0700 Subject: [PATCH 01/12] auto commit --- .github/workflows/library_go_tests.yml | 7 +++++++ .github/workflows/library_interop_tests.yml | 7 +++++++ 2 files changed, 14 insertions(+) diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml index 4ed1ccbd0..afe3238ce 100644 --- a/.github/workflows/library_go_tests.yml +++ b/.github/workflows/library_go_tests.yml @@ -94,6 +94,13 @@ jobs: shell: bash 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 }} diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index 930e3a9eb..6cc3c2871 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -182,6 +182,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: Setup gradle if: matrix.language == 'java' uses: gradle/gradle-build-action@v2 From 5aa60d5095ad44dc5d00733889c842c5ce2bb854 Mon Sep 17 00:00:00 2001 From: Rishav karanjit Date: Tue, 29 Jul 2025 20:26:38 -0700 Subject: [PATCH 02/12] Test go get -u --- .github/workflows/library_interop_tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index 6cc3c2871..cfe5689d1 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -183,7 +183,7 @@ jobs: make purge_polymorph_code - name: Use latest minor or patch releases - # if: github.event_name == 'schedule' + if: matrix.language == 'go' working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | From 2c6002c37adf8c9a442af86eb2d23756a65cb6d1 Mon Sep 17 00:00:00 2001 From: Rishav karanjit Date: Tue, 29 Jul 2025 21:35:41 -0700 Subject: [PATCH 03/12] Update library_go_tests.yml --- .github/workflows/library_go_tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml index afe3238ce..219e73c7f 100644 --- a/.github/workflows/library_go_tests.yml +++ b/.github/workflows/library_go_tests.yml @@ -100,7 +100,7 @@ jobs: working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | - go get -u + go get -u ./... - name: Test ${{ matrix.library }} working-directory: ./${{ matrix.library }} From 3f5187c8746b00f8258fd03dec54c3d2a4a38d8c Mon Sep 17 00:00:00 2001 From: Rishav karanjit Date: Tue, 29 Jul 2025 21:36:10 -0700 Subject: [PATCH 04/12] Update library_interop_tests.yml --- .github/workflows/library_interop_tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index cfe5689d1..8727313c6 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -187,7 +187,7 @@ jobs: working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | - go get -u + go get -u ./... - name: Setup gradle if: matrix.language == 'java' From 356371069d9d9f94e3fa54d21b8b3b65b98b1883 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 29 Jul 2025 22:40:05 -0700 Subject: [PATCH 05/12] auto commit --- .github/workflows/library_go_tests.yml | 2 +- .github/workflows/library_interop_tests.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml index afe3238ce..219e73c7f 100644 --- a/.github/workflows/library_go_tests.yml +++ b/.github/workflows/library_go_tests.yml @@ -100,7 +100,7 @@ jobs: working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | - go get -u + go get -u ./... - name: Test ${{ matrix.library }} working-directory: ./${{ matrix.library }} diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index 6cc3c2871..080f5b427 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -187,7 +187,7 @@ jobs: working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | - go get -u + go get -u ./... - name: Setup gradle if: matrix.language == 'java' From 40d17410112c312331a00be5fab52a0efdeb95ec Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Jul 2025 09:18:00 -0700 Subject: [PATCH 06/12] auto commit --- .../runtimes/go/ImplementationFromDafny-go/go.mod | 9 ++++----- .../runtimes/go/TestsFromDafny-go/go.mod | 11 +++++------ .../runtimes/go/TestsFromDafny-go/go.mod | 2 +- .../runtimes/go/ImplementationFromDafny-go/go.mod | 8 ++++---- .../runtimes/go/TestsFromDafny-go/go.mod | 10 +++++----- 5 files changed, 19 insertions(+), 21 deletions(-) diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod index 3ab8dabe8..b1f420b16 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod @@ -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/ diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod index b07528776..6bc100446 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod @@ -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 diff --git a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod index 2b2b9fbb9..19da224bc 100644 --- a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod +++ b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod @@ -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 diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod index 82d07ede5..e5088609a 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod @@ -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/ ) diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod index 166ea6022..72d716b82 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod @@ -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 ( From 95063166f8b20e4ac974888a9d8b5a906ed1a2fa Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Jul 2025 09:26:33 -0700 Subject: [PATCH 07/12] auto commit --- StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod index 7be7ab8d5..0bf72e462 100644 --- a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod +++ b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod @@ -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/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0 + github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1 ) require github.com/google/uuid v1.6.0 // indirect From 62cab1e537d33da4951ee98d70bed063069aae46 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Jul 2025 09:26:45 -0700 Subject: [PATCH 08/12] auto commit --- StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod index 0bf72e462..3c5c84fb8 100644 --- a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod +++ b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod @@ -5,7 +5,7 @@ go 1.23.0 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.2.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1 ) From 855b415467627267be33dcb72da49aadd1465bef Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Jul 2025 09:54:03 -0700 Subject: [PATCH 09/12] auto commit --- .github/workflows/library_go_tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml index 219e73c7f..4713dde35 100644 --- a/.github/workflows/library_go_tests.yml +++ b/.github/workflows/library_go_tests.yml @@ -94,7 +94,7 @@ jobs: shell: bash 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 From e994f4d213b160c3a4c7a0a4eef4b4272c2b1ca3 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Jul 2025 13:47:46 -0700 Subject: [PATCH 10/12] auto commit --- .github/workflows/library_go_tests.yml | 2 +- .github/workflows/library_interop_tests.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml index 4713dde35..cfaa5b69f 100644 --- a/.github/workflows/library_go_tests.yml +++ b/.github/workflows/library_go_tests.yml @@ -96,7 +96,7 @@ jobs: make purge_polymorph_code - name: Use latest minor or patch releases - # if: github.event_name == 'schedule' + if: github.event_name == 'schedule' working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index 8727313c6..8eeb3a1a9 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -183,7 +183,7 @@ jobs: make purge_polymorph_code - name: Use latest minor or patch releases - if: matrix.language == 'go' + if: matrix.language == 'go' && github.event_name == 'schedule' working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | From 54a1f11200bb20b29ccc80cdc170e4bf52db29fd Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Jul 2025 13:51:16 -0700 Subject: [PATCH 11/12] Test on PR --- .github/workflows/library_go_tests.yml | 2 +- .github/workflows/library_interop_tests.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml index cfaa5b69f..4713dde35 100644 --- a/.github/workflows/library_go_tests.yml +++ b/.github/workflows/library_go_tests.yml @@ -96,7 +96,7 @@ jobs: make purge_polymorph_code - name: Use latest minor or patch releases - if: github.event_name == 'schedule' + # if: github.event_name == 'schedule' working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index 8eeb3a1a9..8727313c6 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -183,7 +183,7 @@ jobs: make purge_polymorph_code - name: Use latest minor or patch releases - if: matrix.language == 'go' && github.event_name == 'schedule' + if: matrix.language == 'go' working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | From b2a743a7bb7dfff40118858a8fffec7c2c9e5967 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Jul 2025 13:51:33 -0700 Subject: [PATCH 12/12] Revert "Test on PR" This reverts commit 54a1f11200bb20b29ccc80cdc170e4bf52db29fd. --- .github/workflows/library_go_tests.yml | 2 +- .github/workflows/library_interop_tests.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml index 4713dde35..cfaa5b69f 100644 --- a/.github/workflows/library_go_tests.yml +++ b/.github/workflows/library_go_tests.yml @@ -96,7 +96,7 @@ jobs: make purge_polymorph_code - name: Use latest minor or patch releases - # if: github.event_name == 'schedule' + if: github.event_name == 'schedule' working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: | diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index 8727313c6..8eeb3a1a9 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -183,7 +183,7 @@ jobs: make purge_polymorph_code - name: Use latest minor or patch releases - if: matrix.language == 'go' + if: matrix.language == 'go' && github.event_name == 'schedule' working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go shell: bash run: |