Merge pull request #2876 from github/henrymercer/fix-diff-informed-mu… #4766
| Job | Run time |
|---|---|
| 2m 5s | |
| 2m 29s | |
| 2m 54s | |
| 1m 13s | |
| 1m 18s | |
| 1m 7s | |
| 2m 37s | |
| 1m 10s | |
| 1m 23s | |
| 3m 31s | |
| 1m 8s | |
| 2m 3s | |
| 2m 10s | |
| 1m 0s | |
| 1m 6s | |
| 2m 25s | |
| 29m 39s |
| Job | Run time |
|---|---|
| 2m 5s | |
| 2m 29s | |
| 2m 54s | |
| 1m 13s | |
| 1m 18s | |
| 1m 7s | |
| 2m 37s | |
| 1m 10s | |
| 1m 23s | |
| 3m 31s | |
| 1m 8s | |
| 2m 3s | |
| 2m 10s | |
| 1m 0s | |
| 1m 6s | |
| 2m 25s | |
| 29m 39s |