You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// NOTE: Config settings share the same file for both the Lurk library and the CLI.
// It's good practice to avoid duplication of shared settings like public_params_dir
// in downstream configs like these to prevent conflicts.
This is a bit confusing, as a user-specified rc and limit value in the config file will affect the CLI but not the Lurk library or benchmarks as one might expect. It may be more user-friendly to have a separate cli.toml rather than sharing settings with lurk.toml, or better yet support a table-based TOML structure like the following:
Doc comment for
CliSettings
:From #706 (comment):
The text was updated successfully, but these errors were encountered: