Add defer parameter to tool definition (#1632)
#319
| Job | Run time |
|---|---|
| 5s | |
| 25m 40s | |
| 2m 30s | |
| 1m 40s | |
| 1m 53s | |
| 1m 17s | |
| 2m 12s | |
| 1m 32s | |
| -1s | |
| 36m 48s |
defer parameter to tool definition (#1632)
#319
| Job | Run time |
|---|---|
| 5s | |
| 25m 40s | |
| 2m 30s | |
| 1m 40s | |
| 1m 53s | |
| 1m 17s | |
| 2m 12s | |
| 1m 32s | |
| -1s | |
| 36m 48s |