Merge pull request #1238 from robertpanzer/fix-1237--s-cli-option #2116
| Job | Run time |
|---|---|
| 18m 43s | |
| 17m 58s | |
| 18m 17s | |
| 11m 3s | |
| 15m 40s | |
| 11m 43s | |
| 18m 47s | |
| 12m 16s | |
| 17m 5s | |
| 14m 16s | |
| 13m 13s | |
| 2h 49m 1s |
| Job | Run time |
|---|---|
| 18m 43s | |
| 17m 58s | |
| 18m 17s | |
| 11m 3s | |
| 15m 40s | |
| 11m 43s | |
| 18m 47s | |
| 12m 16s | |
| 17m 5s | |
| 14m 16s | |
| 13m 13s | |
| 2h 49m 1s |