Merge pull request #1954 from dedis/work-be1-stuart-send-rumorstate-t… #8805
| Job | Run time |
|---|---|
| 4m 5s | |
| 3m 50s | |
| 7m 55s | |
| 5m 57s | |
| 1m 10s | |
| 6m 20s | |
| 9m 18s | |
| 12m 52s | |
| 8m 31s | |
| 29s | |
| 1h 0m 27s |
| Job | Run time |
|---|---|
| 4m 5s | |
| 3m 50s | |
| 7m 55s | |
| 5m 57s | |
| 1m 10s | |
| 6m 20s | |
| 9m 18s | |
| 12m 52s | |
| 8m 31s | |
| 29s | |
| 1h 0m 27s |