fix: CI

Author: Shubham Chaturvedi

.github/workflows/daily_ci.yml

@@ -33,6 +33,11 @@ jobs:
     uses: ./.github/workflows/library_rust_tests.yml
     with:
       dafny: '4.9.0'
+  daily-ci-go:
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    uses: ./.github/workflows/library_go_tests.yml
+    with:
+      dafny: '4.9.0'
 
   daily-ci-interop-tests:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'

.github/workflows/manual.yml

@@ -37,3 +37,8 @@ jobs:
     with:
       dafny: ${{ inputs.dafny }}
       regenerate-code: ${{ inputs.regenerate-code }}
+  manual-ci-go:
+    uses: ./.github/workflows/library_go_tests.yml
+    with:
+      dafny: ${{ inputs.dafny }}
+      regenerate-code: ${{ inputs.regenerate-code }}

.github/workflows/nighly_dafny.yml

@@ -37,6 +37,12 @@ jobs:
     with:
       dafny: 'nightly-latest'
       regenerate-code: true
+  dafny-nightly-go:
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    uses: ./.github/workflows/library_go_tests.yml
+    with:
+      dafny: 'nightly-latest'
+      regenerate-code: true
 
   cut-issue-on-failure:
     runs-on: ubuntu-latest

.github/workflows/pull.yml

@@ -25,6 +25,10 @@ jobs:
     uses: ./.github/workflows/library_rust_tests.yml
     with:
       dafny: '4.9.0'
+  pr-ci-go:
+    uses: ./.github/workflows/library_go_tests.yml
+    with:
+      dafny: '4.9.0'
   pr-test-vectors:
     uses: ./.github/workflows/library_interop_tests.yml
     with:

.github/workflows/push.yml

@@ -27,6 +27,10 @@ jobs:
     uses: ./.github/workflows/library_rust_tests.yml
     with:
       dafny: '4.9.0'
+  push-ci-go:
+    uses: ./.github/workflows/library_go_tests.yml
+    with:
+      dafny: '4.9.0'
   pr-test-vectors:
     uses: ./.github/workflows/library_interop_tests.yml
     with:

AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs

@@ -473,12 +473,12 @@ public static software.amazon.cryptography.encryptionsdk.internaldafny.types._IE
                     );
                 // OpaqueError is redundant, but listed for completeness.
                 case OpaqueError exception:
-                    return new software.amazon.cryptography.encryptionsdk.internaldafny.types.Error_Opaque(exception, Dafny.Sequence<char>.FromString(exception.ToString()));
+                    return new software.amazon.cryptography.encryptionsdk.internaldafny.types.Error_Opaque(exception);
                 case System.Exception exception:
-                    return new software.amazon.cryptography.encryptionsdk.internaldafny.types.Error_Opaque(exception, Dafny.Sequence<char>.FromString(exception.ToString()));
+                    return new software.amazon.cryptography.encryptionsdk.internaldafny.types.Error_Opaque(exception);
                 default:
                     // The switch MUST be complete for System.Exception, so `value` MUST NOT be an System.Exception. (How did you get here?)
-                    return new software.amazon.cryptography.encryptionsdk.internaldafny.types.Error_Opaque(value, Dafny.Sequence<char>.FromString(value.ToString()));
+                    return new software.amazon.cryptography.encryptionsdk.internaldafny.types.Error_Opaque(value);
             }
         }
     }