Improve the use of both_libraries #16452
Job | Run time |
---|---|
20m 8s | |
21m 7s | |
7m 44s | |
19m 45s | |
20m 6s | |
13m 53s | |
21m 37s | |
16m 22s | |
14m 5s | |
15m 21s | |
22m 31s | |
15m 30s | |
13m 57s | |
13m 30s | |
3h 55m 36s |
Job | Run time |
---|---|
20m 8s | |
21m 7s | |
7m 44s | |
19m 45s | |
20m 6s | |
13m 53s | |
21m 37s | |
16m 22s | |
14m 5s | |
15m 21s | |
22m 31s | |
15m 30s | |
13m 57s | |
13m 30s | |
3h 55m 36s |