optimization: allow Finish message to be elided when not needed
#205
| Job | Run time |
|---|---|
| 1m 51s | |
| 1m 51s |
Finish message to be elided when not needed
#205
| Job | Run time |
|---|---|
| 1m 51s | |
| 1m 51s |