[lexical-list] Bug fix: support pasting github checklist #252
| Job | Run time |
|---|---|
| 4m 14s | |
| 6m 31s | |
| 8m 57s | |
| 6m 10s | |
| 48m 58s | |
| 18m 23s | |
| 3m 34s | |
| 4m 53s | |
| 5m 7s | |
| 6m 54s | |
| 3m 36s | |
| 5m 31s | |
| 44m 25s | |
| 45m 45s | |
| 9m 46s | |
| 13m 44s | |
| 6m 16s | |
| 6m 5s | |
| 8m 2s | |
| 9m 23s | |
| 12m 23s | |
| 10m 2s | |
| 15m 14s | |
| 10m 19s | |
| 27m 3s | |
| 8m 49s | |
| 5m 47s | |
| 5h 55m 51s |