Merge pull request #1495 from clasp-developers/arm #902
Job | Run time |
---|---|
2h 55m 8s | |
4h 25m 30s | |
1h 42m 41s | |
2h 33m 41s | |
1h 9m 37s | |
1h 56m 49s | |
48m 27s | |
1h 41m 59s | |
17h 13m 52s |
Job | Run time |
---|---|
2h 55m 8s | |
4h 25m 30s | |
1h 42m 41s | |
2h 33m 41s | |
1h 9m 37s | |
1h 56m 49s | |
48m 27s | |
1h 41m 59s | |
17h 13m 52s |