Skip to content

Dafny Nightly

Dafny Nightly #441

Annotations

1 error

dafny-nightly-net  /  testDotNet (AwsEncryptionSDK, macos-13)

failed Jan 22, 2025 in 1m 17s
Set up job
4s
Support longpaths on Git checkout
0s
Run actions/checkout@v2
3s
Init Submodules
23s
Configure AWS Credentials
1s
Setup .NET Core SDK 6
10s
Setup Dafny
32s
Regenerate code using smithy-dafny if necessary
0s
Download Dependencies
0s
Compile AwsEncryptionSDK implementation
0s
Test .NET Framework net48
0s
Test .NET net6.0
0s
Test Examples on .NET Framework net48
0s
Test Examples on .NET net6.0
0s
Post Setup .NET Core SDK 6
0s
Post Configure AWS Credentials
0s
Post Run actions/checkout@v2
0s
Complete job
1s