Better graceful shutdown for KeyboardInterrupt #13266
Job | Run time |
---|---|
26m 21s | |
14m 1s | |
17m 23s | |
32m 19s | |
14m 48s | |
15m 56s | |
27m 52s | |
14m 44s | |
19m 58s | |
16m 26s | |
14m 44s | |
17m 44s | |
22m 41s | |
13m 37s | |
16m 52s | |
21m 58s | |
14m 15s | |
17m 45s | |
26m 17s | |
13m 46s | |
16m 24s | |
27m 11s | |
13m 55s | |
17m 7s | |
7h 34m 4s |