Merge pull request #2831 from github/cklin/diff-informed-query-filtering #6710
| Job | Run time |
|---|---|
| 9m 22s | |
| 4m 0s | |
| 9m 7s | |
| 3m 56s | |
| 11m 40s | |
| 10m 27s | |
| 7m 23s | |
| 4m 18s | |
| 8m 45s | |
| 8m 53s | |
| 3m 49s | |
| 4m 35s | |
| 8m 37s | |
| 3m 55s | |
| 3m 45s | |
| 3m 49s | |
| 1h 46m 21s |
| Job | Run time |
|---|---|
| 9m 22s | |
| 4m 0s | |
| 9m 7s | |
| 3m 56s | |
| 11m 40s | |
| 10m 27s | |
| 7m 23s | |
| 4m 18s | |
| 8m 45s | |
| 8m 53s | |
| 3m 49s | |
| 4m 35s | |
| 8m 37s | |
| 3m 55s | |
| 3m 45s | |
| 3m 49s | |
| 1h 46m 21s |