Change how to pass STDIN input via --file, rename other args
#1696
| Job | Run time |
|---|---|
| 7m 46s | |
| 7m 46s | |
| 8m 54s | |
| 8m 54s | |
| 8m 35s | |
| 21m 46s | |
| 1h 3m 41s |
--file, rename other args
#1696
| Job | Run time |
|---|---|
| 7m 46s | |
| 7m 46s | |
| 8m 54s | |
| 8m 54s | |
| 8m 35s | |
| 21m 46s | |
| 1h 3m 41s |