Merge pull request #1178 from ChrisRackauckas/fix-formatting #385
Job | Run time |
---|---|
2m 26s | |
13m 6s | |
3m 49s | |
5m 7s | |
24m 38s | |
15m 46s | |
4m 1s | |
2m 26s | |
22m 20s | |
24m 56s | |
3m 9s | |
21m 58s | |
2h 23m 42s |
Job | Run time |
---|---|
2m 26s | |
13m 6s | |
3m 49s | |
5m 7s | |
24m 38s | |
15m 46s | |
4m 1s | |
2m 26s | |
22m 20s | |
24m 56s | |
3m 9s | |
21m 58s | |
2h 23m 42s |