fix: improve tool definitions for web_fetch and `get_file_content_b…
#499
| Job | Run time |
|---|---|
| 43m 11s | |
| 37m 23s | |
| 43m 24s | |
| 32m 33s | |
| 2h 36m 31s |
web_fetch and `get_file_content_b…
#499
| Job | Run time |
|---|---|
| 43m 11s | |
| 37m 23s | |
| 43m 24s | |
| 32m 33s | |
| 2h 36m 31s |