chore(dafny): test ExecuteTransaction and BatchExecuteStatement #1988
| Job | Run time |
|---|---|
| 7s | |
| 12s | |
| 7m 39s | |
| 21m 47s | |
| 17m 42s | |
| 41m 48s | |
| 18m 24s | |
| 48m 47s | |
| 35m 11s | |
| 11m 52s | |
| 15m 50s | |
| 17m 57s | |
| 16m 42s | |
| 16m 18s | |
| 16m 21s | |
| 47m 51s | |
| 20m 56s | |
| 33m 23s | |
| 26m 13s | |
| 30m 0s | |
| 25m 50s | |
| 19m 59s | |
| 25m 30s | |
| 10m 41s | |
| 21m 40s | |
| 28m 59s | |
| 29m 35s | |
| 11m 46s | |
| 17m 21s | |
| 9m 3s | |
| 16m 16s | |
| 14m 30s | |
| 44m 12s | |
| 30m 54s | |
| 15m 1s | |
| 18m 12s | |
| 25m 39s | |
| 20m 16s | |
| 33m 8s | |
| 20m 29s | |
| 3s | |
| 14h 44m 4s |