improved regexp to also parse error messages with single quotes around header file name #5018
| Job | Run time |
|---|---|
| 1s | |
| 1s | |
| 1m 2s | |
| 1m 6s | |
| 1m 5s | |
| 1m 6s | |
| 1m 4s | |
| 1m 2s | |
| 56s | |
| 1m 33s | |
| 1m 41s | |
| 16s | |
| 16s | |
| 4s | |
| 11m 13s |
| Job | Run time |
|---|---|
| 1s | |
| 1s | |
| 1m 2s | |
| 1m 6s | |
| 1m 5s | |
| 1m 6s | |
| 1m 4s | |
| 1m 2s | |
| 56s | |
| 1m 33s | |
| 1m 41s | |
| 16s | |
| 16s | |
| 4s | |
| 11m 13s |