Simplify and fix Table.set_span #415
Job | Run time |
---|---|
44s | |
4m 59s | |
3m 34s | |
3m 11s | |
3m 34s | |
3m 35s | |
4m 46s | |
2m 36s | |
2m 46s | |
46s | |
57s | |
30s | |
31m 58s |
Job | Run time |
---|---|
44s | |
4m 59s | |
3m 34s | |
3m 11s | |
3m 34s | |
3m 35s | |
4m 46s | |
2m 36s | |
2m 46s | |
46s | |
57s | |
30s | |
31m 58s |