Dafny Nightly #788
Annotations
2 errors and 1 warning
|
Regenerate code using smithy-dafny if necessary
Process completed with exit code 2.
|
|
Regenerate code using smithy-dafny if necessary
[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\AwsEncryptionSDK\codegen-patches\AwsEncryptionSdk\dotnet\dafny-4.9.0.patch]
|
|
Install Smithy-Dafny codegen dependencies
Restore cache failed: Dependencies file is not found in D:\a\aws-encryption-sdk\aws-encryption-sdk. Supported file pattern: go.sum
|
Loading