Skip to content

chore(Rust): Add Rust caching to speed up GHA #610

chore(Rust): Add Rust caching to speed up GHA

chore(Rust): Add Rust caching to speed up GHA #610

pr-ci-verification  /  verification (AwsEncryptionSDK, macos-13)

succeeded Jan 15, 2025 in 15m 49s
Set up job
2s
Support longpaths
0s
Run actions/checkout@v2
2s
Init Submodules
19s
Setup .NET Core SDK '6.0.x'
12s
Setup Dafny
5s
Regenerate code using smithy-dafny if necessary
0s
Verify AwsEncryptionSDK Dafny code
15m 2s
Check solver resource use
1s
Post Setup .NET Core SDK '6.0.x'
0s
Post Run actions/checkout@v2
0s
Complete job
0s