Skip to content

Dafny Nightly

Dafny Nightly #308

Annotations

29 warnings

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

succeeded May 19, 2024 in 10m 2s
Set up job
2s
Support longpaths on Git checkout
1s
Configure AWS Credentials
2s
Run actions/checkout@v4
5s
Run git submodule update --init libraries
1s
Run git submodule update --init smithy-dafny
2s
Setup .NET Core SDK 6.0.x
7s
Setup Dafny
28s
Regenerate code using smithy-dafny if necessary
4m 28s
Download Dependencies
1s
Compile AwsCryptographicMaterialProviders implementation
54s
Test AwsCryptographicMaterialProviders .NET Framework net48
46s
Test AwsCryptographicMaterialProviders .NET net6.0
41s
Test Cache Thread Safety net6.0
1m 49s
Test Cache Thread Safety .NET Framework net48
29s
Post Setup .NET Core SDK 6.0.x
0s
Post Run actions/checkout@v4
1s
Post Configure AWS Credentials
0s
Complete job
0s