fix: make ctrl-C work for replays (and perhaps more generally) #6554
Job | Run time |
---|---|
4s | |
8m 41s | |
25s | |
10m 15s | |
10m 0s | |
6m 18s | |
10m 0s | |
5m 19s | |
1m 14s | |
24s | |
14s | |
10m 13s | |
16s | |
10m 12s | |
33s | |
1m 5s | |
1h 15m 13s |
Job | Run time |
---|---|
4s | |
8m 41s | |
25s | |
10m 15s | |
10m 0s | |
6m 18s | |
10m 0s | |
5m 19s | |
1m 14s | |
24s | |
14s | |
10m 13s | |
16s | |
10m 12s | |
33s | |
1m 5s | |
1h 15m 13s |