Open judocode opened 2 years ago
It is currently not possible to grab a reference to an existing clippy. This PR exposes a new function loadExistingAgent that allows for this.
loadExistingAgent
It is currently not possible to grab a reference to an existing clippy. This PR exposes a new function
loadExistingAgent
that allows for this.