Skip to content
static analysis

chore(dafny): test ExecuteTransaction and BatchExecuteStatement #5129

Sign in to view logs

chore(dafny): test ExecuteTransaction and BatchExecuteStatement

chore(dafny): test ExecuteTransaction and BatchExecuteStatement #5129

Triggered via pull request June 10, 2025 19:43
@rishav-karanjitrishav-karanjit
synchronize #1941
rishav/addTestForDDBAPI
Status Success
Total duration 20s
Artifacts –

ci_static_analysis.yml

on: pull_request
not-grep
16s
not-grep
Fit to window
Zoom out
Zoom in