Merge pull request #1343 from Mv77/plumbing/time-varying-rfree #2299
| Job | Run time |
|---|---|
| 6m 41s | |
| 9m 37s | |
| 8m 25s | |
| 11m 7s | |
| 13m 12s | |
| 14m 30s | |
| 14m 19s | |
| 12m 2s | |
| 12m 30s | |
| 1h 42m 23s |
| Job | Run time |
|---|---|
| 6m 41s | |
| 9m 37s | |
| 8m 25s | |
| 11m 7s | |
| 13m 12s | |
| 14m 30s | |
| 14m 19s | |
| 12m 2s | |
| 12m 30s | |
| 1h 42m 23s |