fix(lean): make equal-slot equivocation tie-break deterministic #686
| Job | Run time |
|---|---|
| 2m 27s | |
| 12m 17s | |
| 12m 16s | |
| 12m 17s | |
| 12m 21s | |
| 12m 17s | |
| 12m 16s | |
| 12m 17s | |
| 12m 18s | |
| 12m 16s | |
| 12m 18s | |
| 2h 5m 20s |
| Job | Run time |
|---|---|
| 2m 27s | |
| 12m 17s | |
| 12m 16s | |
| 12m 17s | |
| 12m 21s | |
| 12m 17s | |
| 12m 16s | |
| 12m 17s | |
| 12m 18s | |
| 12m 16s | |
| 12m 18s | |
| 2h 5m 20s |