auto commit

rishav-karanjit · rishav-karanjit · commit b5529e8ad5df · 2025-06-06T09:51:31.000-07:00
diff --git a/.github/actions/polymorph_codegen/action.yml b/.github/actions/polymorph_codegen/action.yml
@@ -153,4 +153,5 @@ runs:
       working-directory: ./${{ inputs.library }}
       shell: bash
       run: |
+        cat DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated/to_dafny.go
         make check_polymorph_diff
