Add --strip option to strip debug symbols from outputs
#731
| Job | Run time |
|---|---|
| 0s | |
| -1s | |
| 8m 38s | |
| 10m 27s | |
| 4m 41s | |
| 1m 42s | |
| 25m 27s |
--strip option to strip debug symbols from outputs
#731
| Job | Run time |
|---|---|
| 0s | |
| -1s | |
| 8m 38s | |
| 10m 27s | |
| 4m 41s | |
| 1m 42s | |
| 25m 27s |