idea: make recursive-gen interruptible #2366
Job | Run time |
---|---|
25s | |
2m 40s | |
3m 27s | |
3m 32s | |
3m 19s | |
1m 0s | |
59s | |
56s | |
56s | |
53s | |
53s | |
53s | |
52s | |
20m 45s |
Job | Run time |
---|---|
25s | |
2m 40s | |
3m 27s | |
3m 32s | |
3m 19s | |
1m 0s | |
59s | |
56s | |
56s | |
53s | |
53s | |
53s | |
52s | |
20m 45s |