[DOXIA-763] Distinguish between verbatim source and non-source in #1006
Job | Run time |
---|---|
2m 19s | |
1s | |
49s | |
6s | |
48s | |
53s | |
39s | |
42s | |
1m 25s | |
1m 36s | |
1m 45s | |
1m 22s | |
1m 9s | |
1m 10s | |
49s | |
45s | |
54s | |
45s | |
39s | |
42s | |
19m 18s |
Job | Run time |
---|---|
2m 19s | |
1s | |
49s | |
6s | |
48s | |
53s | |
39s | |
42s | |
1m 25s | |
1m 36s | |
1m 45s | |
1m 22s | |
1m 9s | |
1m 10s | |
49s | |
45s | |
54s | |
45s | |
39s | |
42s | |
19m 18s |