factor out lineno_attr(), and add line numbers to the raw content pre… #130
| Job | Run time |
|---|---|
| 1m 45s | |
| 3m 49s | |
| 1m 54s | |
| 1m 40s | |
| 1m 33s | |
| 2m 11s | |
| 2m 4s | |
| 2m 6s | |
| 1m 59s | |
| 2m 0s | |
| 2m 17s | |
| 6m 2s | |
| 1m 57s | |
| 2m 11s | |
| 33m 28s |
| Job | Run time |
|---|---|
| 1m 45s | |
| 3m 49s | |
| 1m 54s | |
| 1m 40s | |
| 1m 33s | |
| 2m 11s | |
| 2m 4s | |
| 2m 6s | |
| 1m 59s | |
| 2m 0s | |
| 2m 17s | |
| 6m 2s | |
| 1m 57s | |
| 2m 11s | |
| 33m 28s |