add a size optimized profile #10
Job | Run time |
---|---|
20m 54s | |
12m 2s | |
17m 47s | |
12m 24s | |
17m 27s | |
14m 33s | |
18m 41s | |
31m 42s | |
17m 23s | |
20m 17s | |
33m 42s | |
3h 36m 52s |
Job | Run time |
---|---|
20m 54s | |
12m 2s | |
17m 47s | |
12m 24s | |
17m 27s | |
14m 33s | |
18m 41s | |
31m 42s | |
17m 23s | |
20m 17s | |
33m 42s | |
3h 36m 52s |