Merge pull request #561 from MatthewFluet/line-directive-fix #164
| Job | Run time |
|---|---|
| 19m 11s | |
| 25m 38s | |
| 21m 15s | |
| 29m 53s | |
| 30m 59s | |
| 53m 3s | |
| 48m 42s | |
| 43m 3s | |
| 45m 47s | |
| 53m 13s | |
| 40m 0s | |
| 6h 50m 44s |
| Job | Run time |
|---|---|
| 19m 11s | |
| 25m 38s | |
| 21m 15s | |
| 29m 53s | |
| 30m 59s | |
| 53m 3s | |
| 48m 42s | |
| 43m 3s | |
| 45m 47s | |
| 53m 13s | |
| 40m 0s | |
| 6h 50m 44s |