Merge pull request #1693 from dedis/work-simone-fix-status-badges #7404
| Job | Run time |
|---|---|
| 59s | |
| 2m 18s | |
| 13m 7s | |
| 13m 7s | |
| 4m 18s | |
| 4m 18s | |
| 2m 49s | |
| 7m 58s | |
| 17m 57s | |
| 17m 57s | |
| 3m 6s | |
| 3m 6s | |
| 19m 45s | |
| 19m 45s | |
| 12m 50s | |
| 12m 50s | |
| 1m 27s | |
| 1m 27s | |
| 32s | |
| 32s | |
| 2h 40m 8s |
| Job | Run time |
|---|---|
| 59s | |
| 2m 18s | |
| 13m 7s | |
| 13m 7s | |
| 4m 18s | |
| 4m 18s | |
| 2m 49s | |
| 7m 58s | |
| 17m 57s | |
| 17m 57s | |
| 3m 6s | |
| 3m 6s | |
| 19m 45s | |
| 19m 45s | |
| 12m 50s | |
| 12m 50s | |
| 1m 27s | |
| 1m 27s | |
| 32s | |
| 32s | |
| 2h 40m 8s |