bump mpl and check

aws · Jan 15, 2025 · 223ea3a · 223ea3a
1 parent dc57046
commit 223ea3a
Show file tree

Hide file tree

Showing 4 changed files with 66 additions and 1 deletion.
diff --git a/.github/actions/polymorph_codegen/action.yml b/.github/actions/polymorph_codegen/action.yml
@@ -122,6 +122,11 @@ runs:
       run: |
         make polymorph_go
 
+    - name: just print
+      shell: bash
+      run: |
+        cat AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.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'

diff --git a/...runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go b/...runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go
diff --git a/...K/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go b/...K/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go
diff --git a/mpl b/mpl