Merge pull request #620 from ledsun/update_magnus_0.8 #1941
| Job | Run time |
|---|---|
| 4m 33s | |
| 4m 24s | |
| 28s | |
| 0s | |
| 10m 7s | |
| 10m 4s | |
| 10m 8s | |
| 20m 52s | |
| 9m 59s | |
| 10m 26s | |
| 27m 58s | |
| 28m 3s | |
| 9m 51s | |
| 27m 52s | |
| 9m 58s | |
| 10m 9s | |
| 23m 49s | |
| 10m 17s | |
| 9m 43s | |
| 24m 26s | |
| 9m 49s | |
| 22m 43s | |
| 9m 56s | |
| 23m 29s | |
| 23m 3s | |
| 24m 26s | |
| 23m 46s | |
| 10m 32s | |
| 22m 46s | |
| 0s | |
| 7h 13m 37s |