chore(dafny): Add bucket beacon support #2194
| Job | Run time |
|---|---|
| 8s | |
| 12s | |
| 2m 25s | |
| 11m 38s | |
| 10m 35s | |
| 1h 25m 4s | |
| 42m 23s | |
| 13m 59s | |
| 9m 3s | |
| 14m 34s | |
| 19m 9s | |
| 17m 43s | |
| 18m 38s | |
| 18m 56s | |
| 18m 30s | |
| 17m 36s | |
| 44m 12s | |
| 22m 57s | |
| 41m 16s | |
| 23m 7s | |
| 16m 40s | |
| 37m 17s | |
| 23m 17s | |
| 15m 56s | |
| 38m 2s | |
| 11m 38s | |
| 1h 13m 11s | |
| 23m 17s | |
| 23m 17s | |
| 18m 9s | |
| 11m 30s | |
| 30m 19s | |
| 1h 2m 31s | |
| 23m 3s | |
| 11m 52s | |
| 31m 10s | |
| 21m 21s | |
| 37m 0s | |
| 45m 42s | |
| 23m 21s | |
| 19m 37s | |
| 20m 17s | |
| 23m 39s | |
| 16m 2s | |
| 2s | |
| 18h 10m 15s |