chore(dafny): Add bucket beacon support #2183
| Job | Run time |
|---|---|
| 8s | |
| 16s | |
| 7m 0s | |
| 11m 18s | |
| 10m 53s | |
| 9m 17s | |
| 12m 23s | |
| 16m 3s | |
| 19m 51s | |
| 19m 40s | |
| 24m 30s | |
| 16m 5s | |
| 19m 17s | |
| 15m 3s | |
| 15m 42s | |
| 14m 1s | |
| 17m 38s | |
| 14m 49s | |
| 15m 4s | |
| 13m 42s | |
| 13m 54s | |
| 15m 6s | |
| 1h 0m 45s | |
| 14m 46s | |
| 23m 5s | |
| 26m 14s | |
| 29m 14s | |
| 19m 29s | |
| 18m 0s | |
| 30m 12s | |
| 16m 41s | |
| 15m 28s | |
| 11m 46s | |
| 12m 2s | |
| 22m 44s | |
| 22m 5s | |
| 41m 42s | |
| 20m 52s | |
| 53m 7s | |
| 15m 30s | |
| 20m 2s | |
| 41m 4s | |
| 24m 0s | |
| 23m 30s | |
| 4s | |
| 14h 24m 2s |