Merge pull request #2139 from sensei-hacker/remove_used_platform_other #19
| Job | Run time |
|---|---|
| 8m 21s | |
| 8m 21s | |
| 4m 17s | |
| 4m 17s | |
| 3m 43s | |
| 6m 46s | |
| 3m 56s | |
| 3m 56s | |
| 5m 42s | |
| 7m 29s | |
| 0s | |
| 31s | |
| 57m 19s |
| Job | Run time |
|---|---|
| 8m 21s | |
| 8m 21s | |
| 4m 17s | |
| 4m 17s | |
| 3m 43s | |
| 6m 46s | |
| 3m 56s | |
| 3m 56s | |
| 5m 42s | |
| 7m 29s | |
| 0s | |
| 31s | |
| 57m 19s |