Add the add_tool(), remove_tool() and remove_all_tool() me…
#2415
| Job | Run time |
|---|---|
| 3m 35s | |
| 1m 27s | |
| 47s | |
| 11s | |
| 45s | |
| 40s | |
| 37s | |
| 40s | |
| 37s | |
| 40s | |
| 45s | |
| 41s | |
| 43s | |
| 1m 18s | |
| 1m 18s | |
| 1m 19s | |
| 1m 18s | |
| 0s | |
| 17m 21s |