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