t: add greplint.pl and convert grep to test_grep #28228
| Job | Run time |
|---|---|
| 7s | |
| 1m 22s | |
| 3m 59s | |
| 6m 16s | |
| 5m 5s | |
| 3m 42s | |
| 7m 23s | |
| 28m 20s | |
| 1m 29s | |
| 4h 5m 17s | |
| 51m 43s | |
| 4h 6m 9s | |
| 28m 43s | |
| 24m 36s | |
| 22m 45s | |
| 25m 11s | |
| 22m 7s | |
| 17m 17s | |
| 47m 57s | |
| 4h 7m 17s | |
| 40m 43s | |
| 18m 0s | |
| 23m 26s | |
| 1h 9m 6s | |
| 19m 57s | |
| -1s | |
| 0s | |
| 9m 29s | |
| 8m 32s | |
| 11m 23s | |
| 10m 17s | |
| 8m 50s | |
| 8m 32s | |
| 7m 42s | |
| 6m 23s | |
| 1h 0m 19s | |
| 7m 48s | |
| 10m 16s | |
| 5m 22s | |
| 13m 43s | |
| 47m 25s | |
| 6m 20s | |
| 4m 47s | |
| 6m 40s | |
| 6m 49s | |
| 11m 9s | |
| 11m 28s | |
| 1d 0h 31m 10s |