feat: check in polymorph go generated code (#1137)

Co-authored-by: Shubham Chaturvedi <[email protected]>
aws · Dec 23, 2024 · d0fefbf · d0fefbf
1 parent 1915a11
commit d0fefbf
Show file tree

Hide file tree

Showing 56 changed files with 26,320 additions and 698 deletions.
diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml
@@ -68,7 +68,7 @@ jobs:
           dafny-version: ${{ inputs.dafny }}
 
       - name: Install Go
-        uses: actions/setup-go@v2
+        uses: actions/setup-go@v5
         with:
           go-version: ${{ matrix.go-version }}
 

diff --git a/...aphicMaterialProviders/runtimes/go/ImplementationFromDafny-go/StormTrackingCMC/externs.go b/...aphicMaterialProviders/runtimes/go/ImplementationFromDafny-go/StormTrackingCMC/externs.go
@@ -7,8 +7,8 @@ import (
 	"github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes"
 	"github.com/aws/aws-cryptographic-material-providers-library/mpl/StormTracker"
 	_dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
-	"github.com/dafny-lang/DafnyStandardLibGo/Wrappers"
 	DafnyTime "github.com/dafny-lang/DafnyStandardLibGo/Time_"
+	"github.com/dafny-lang/DafnyStandardLibGo/Wrappers"
 )
 
 type StormTrackingCMC struct {

diff --git a/...ders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go b/...ders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go