Deprecate {gt,lt}.tri.* and add {gt,lt}.closed.*
#373
| Job | Run time |
|---|---|
| 27s | |
| 27s |
{gt,lt}.tri.* and add {gt,lt}.closed.*
#373
| Job | Run time |
|---|---|
| 27s | |
| 27s |