Skip to content

Daily CI

Daily CI #281

daily-dafny-test-vectors  /  generateEncryptVectors (TestVectors, macos-13, net, 6.0.x)

succeeded Dec 25, 2024 in 5m 5s
Set up job
10s
Support longpaths on Git checkout
0s
Configure AWS Credentials
0s
Run actions/checkout@v3
3s
Run git submodule update --init libraries
1s
Run git submodule update --init --recursive mpl
20s
Setup .NET Core SDK 6.0.x
8s
Setup Java 17
0s
Setup Rust Toolchain for GitHub CI
0s
smithy-dafny Rust hacks
0s
Setup NASM for Windows in Rust (aws-lc-sys)
0s
Setup Dafny
5s
Regenerate code using smithy-dafny if necessary
0s
Build TestVectors implementation in Java
0s
Build TestVectors implementation in .NET
2m 10s
Install Smithy-Dafny codegen dependencies
0s
Run make polymorph_rust
0s
Build TestVectors implementation in Rust
0s
Setup gradle
0s
Create Manifests
1m 28s
Create Encrypt Manifests
29s
Upload Encrypt Manifest and keys.json files
1s
Post Setup .NET Core SDK 6.0.x
0s
Post Run actions/checkout@v3
0s
Post Configure AWS Credentials
0s
Complete job
0s