We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d80796c commit 5cf2597Copy full SHA for 5cf2597
.github/actions/polymorph_codegen/action.yml
@@ -153,5 +153,5 @@ runs:
153
working-directory: ./${{ inputs.library }}
154
shell: bash
155
run: |
156
- cat ${{ inputs.library }}/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated/to_dafny.go
+ cat runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated/to_dafny.go
157
make check_polymorph_diff
0 commit comments