fix: CI

Author: Shubham Chaturvedi

.github/actions/polymorph_codegen/action.yml

@@ -88,12 +88,6 @@ runs:
       run: |
         make polymorph_python
 
-    - name: Regenerate Go code using smithy-dafny
-      working-directory: ./${{ inputs.library }}
-      shell: bash
-      run: |
-        make polymorph_go
-
     - name: Check regenerated code against commited code
       # Composite action inputs seem to not actually support booleans properly for some reason
       if: inputs.diff-generated-code == 'true'

.github/workflows/library_go_tests.yml

@@ -19,20 +19,17 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        library:
-          [
-            StandardLibrary,
-          ]
+        library: [StandardLibrary]
         go-version: ["1.23"]
         os: [
-          # TODO fix Dafny-generated tests on Windows;
-          # the sys.path workaround for generated Dafny doesn't work on Windows.
-          # Note: only tests use the sys.path workaround, not source code.
-          # Windows source code is tested downstream (ex. ESDK-Python CI).
-          # windows-latest,
-          ubuntu-latest,
-          macos-13,
-        ]
+            # TODO fix Dafny-generated tests on Windows;
+            # the sys.path workaround for generated Dafny doesn't work on Windows.
+            # Note: only tests use the sys.path workaround, not source code.
+            # Windows source code is tested downstream (ex. ESDK-Python CI).
+            # windows-latest,
+            ubuntu-latest,
+            macos-13,
+          ]
     runs-on: ${{ matrix.os }}
     defaults:
       run:

StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod

@@ -2,6 +2,6 @@ module github.com/dafny-lang/DafnyStandardLibGo
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0
+require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 
 require github.com/google/uuid v1.6.0

StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod

@@ -5,7 +5,7 @@ go 1.23.0
 replace github.com/dafny-lang/DafnyStandardLibGo v0.0.0 => ../ImplementationFromDafny-go
 
 require (
-	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0
+	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
 	github.com/dafny-lang/DafnyStandardLibGo v0.0.0
 )