Skip to content

chore: add new externs for file append and cpu time #3591

chore: add new externs for file append and cpu time

chore: add new externs for file append and cpu time #3591

pr-ci-verification  /  verification (ComAmazonawsDynamodb, macos-latest-large)

succeeded Dec 16, 2024 in 44s
Set up job
3s
Support longpaths
0s
Run actions/checkout@v4
2s
Run git submodule update --init libraries
1s
Run git submodule update --init smithy-dafny
3s
Setup Dafny
6s
Setup .NET Core SDK '6.0.x'
9s
Regenerate code using smithy-dafny if necessary
0s
Verify ComAmazonawsDynamodb Dafny code
15s
Check solver resource use
0s
Post Setup .NET Core SDK '6.0.x'
0s
Post Run actions/checkout@v4
0s
Complete job
0s