Merge pull request #1976 from dedis/work-be1-etienne-comments-previou… #8894
| Job | Run time |
|---|---|
| 3m 42s | |
| 8m 31s | |
| 9m 41s | |
| 6m 20s | |
| 3m 57s | |
| 12m 17s | |
| 5m 20s | |
| 1m 4s | |
| 8m 45s | |
| 29s | |
| 1h 0m 6s |
| Job | Run time |
|---|---|
| 3m 42s | |
| 8m 31s | |
| 9m 41s | |
| 6m 20s | |
| 3m 57s | |
| 12m 17s | |
| 5m 20s | |
| 1m 4s | |
| 8m 45s | |
| 29s | |
| 1h 0m 6s |