[Issue #2029] Merge Nava fork to HHS #278
Job | Run time |
---|---|
4m 59s | |
13s | |
4m 35s | |
9s | |
4m 47s | |
10s | |
48s | |
53s | |
45s | |
27s | |
24s | |
37s | |
43s | |
43s | |
41s | |
20m 54s |
Job | Run time |
---|---|
4m 59s | |
13s | |
4m 35s | |
9s | |
4m 47s | |
10s | |
48s | |
53s | |
45s | |
27s | |
24s | |
37s | |
43s | |
43s | |
41s | |
20m 54s |