Fix implementations of symbol_substitution() for boxes that cannot contain symbols. #4235
Job | Run time |
---|---|
22s | |
1m 44s | |
1m 42s | |
1m 24s | |
46s | |
1m 13s | |
1m 49s | |
1m 50s | |
0s | |
0s | |
1m 42s | |
1s | |
1m 24s | |
1s | |
1s | |
13m 59s |
Job | Run time |
---|---|
22s | |
1m 44s | |
1m 42s | |
1m 24s | |
46s | |
1m 13s | |
1m 49s | |
1m 50s | |
0s | |
0s | |
1m 42s | |
1s | |
1m 24s | |
1s | |
1s | |
13m 59s |