auto commit

Author: rishav-karanjit

.github/actions/polymorph_codegen/action.yml

@@ -153,5 +153,5 @@ runs:
       working-directory: ./${{ inputs.library }}
       shell: bash
       run: |
-        cat DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated/to_dafny.go
+        cat ${{ inputs.library }}/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated/to_dafny.go
         make check_polymorph_diff