set --disable-stats if stats feature is not enabled (#82)
#145
| Job | Run time |
|---|---|
| 54s | |
| 2m 0s | |
| 1s | |
| 4m 32s | |
| 17m 20s | |
| 17m 2s | |
| 5m 5s | |
| 4m 41s | |
| 51m 35s |
--disable-stats if stats feature is not enabled (#82)
#145
| Job | Run time |
|---|---|
| 54s | |
| 2m 0s | |
| 1s | |
| 4m 32s | |
| 17m 20s | |
| 17m 2s | |
| 5m 5s | |
| 4m 41s | |
| 51m 35s |