Skip to content

Dafny Nightly

Dafny Nightly #308

Annotations

21 warnings

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

succeeded May 19, 2024 in 5m 49s
Set up job
3s
Support longpaths on Git checkout
1s
Configure AWS Credentials
0s
Run actions/checkout@v4
1s
Run git submodule update --init libraries
0s
Run git submodule update --init smithy-dafny
2s
Setup .NET Core SDK 6.0.x
1s
Setup Dafny
6s
Regenerate code using smithy-dafny if necessary
3m 20s
Download Dependencies
2s
Compile AwsCryptographicMaterialProviders implementation
48s
Test AwsCryptographicMaterialProviders .NET Framework net48
0s
Test AwsCryptographicMaterialProviders .NET net6.0
30s
Test Cache Thread Safety net6.0
44s
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