Add --strip option to strip debug symbols from outputs
#730
| Job | Run time |
|---|---|
| 7m 8s | |
| 1m 43s | |
| 11m 18s | |
| 11m 9s | |
| 0s | |
| 0s | |
| 31m 18s |
--strip option to strip debug symbols from outputs
#730
| Job | Run time |
|---|---|
| 7m 8s | |
| 1m 43s | |
| 11m 18s | |
| 11m 9s | |
| 0s | |
| 0s | |
| 31m 18s |