Skip to content

Dafny Nightly

Dafny Nightly #317

Annotations

21 warnings

dafny-nightly-net  /  testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)

succeeded May 28, 2024 in 4m 27s
Set up job
3s
Support longpaths on Git checkout
0s
Configure AWS Credentials
1s
Run actions/checkout@v4
4s
Run git submodule update --init libraries
1s
Run git submodule update --init smithy-dafny
2s
Setup .NET Core SDK 6.0.x
3s
Setup Dafny
21s
Regenerate code using smithy-dafny if necessary
2m 43s
Download Dependencies
4s
Compile ComAmazonawsDynamodb implementation
21s
Test ComAmazonawsDynamodb .NET Framework net48
13s
Test ComAmazonawsDynamodb .NET net6.0
23s
Test Cache Thread Safety net6.0
0s
Test Cache Thread Safety .NET Framework net48
0s
Post Setup .NET Core SDK 6.0.x
0s
Post Run actions/checkout@v4
1s
Post Configure AWS Credentials
0s
Complete job
1s