More reliable fix for </
#1039
| Job | Run time |
|---|---|
| 20s | |
| 29s | |
| 50s | |
| 11s | |
| 30s | |
| 1m 11s | |
| 30s | |
| 31s | |
| 1m 10s | |
| 37s | |
| 32s | |
| 29s | |
| 7m 20s |
</
#1039
| Job | Run time |
|---|---|
| 20s | |
| 29s | |
| 50s | |
| 11s | |
| 30s | |
| 1m 11s | |
| 30s | |
| 31s | |
| 1m 10s | |
| 37s | |
| 32s | |
| 29s | |
| 7m 20s |