Skip to content

Dafny Nightly

Dafny Nightly #308

Annotations

11 warnings

dafny-nightly-net  /  testDotNet (ComAmazonawsKms, 6.0.x, macos-12)

succeeded May 19, 2024 in 2m 34s
Set up job
5s
Support longpaths on Git checkout
0s
Configure AWS Credentials
1s
Run actions/checkout@v4
1s
Run git submodule update --init libraries
2s
Run git submodule update --init smithy-dafny
2s
Setup .NET Core SDK 6.0.x
0s
Setup Dafny
5s
Regenerate code using smithy-dafny if necessary
1m 40s
Download Dependencies
1s
Compile ComAmazonawsKms implementation
18s
Test ComAmazonawsKms .NET Framework net48
0s
Test ComAmazonawsKms .NET net6.0
10s
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
0s
Post Configure AWS Credentials
0s
Complete job
0s