Skip to content

Daily CI

Daily CI #280

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

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