Dafny Nightly #425
Annotations
2 errors
|
Regenerate code using smithy-dafny if necessary
[git, apply, -v, D:\a\aws-encryption-sdk-dafny\aws-encryption-sdk-dafny\AwsEncryptionSDK\codegen-patches\AwsEncryptionSdk\dotnet\dafny-4.9.0.patch]
|
|
Regenerate code using smithy-dafny if necessary
Process completed with exit code 2.
|
Loading