Skip to main content

Module config

lean_agent_core

Module config 

Source
Expand description

Configuration objects for tracing and reporting.

Structsยง

FileConfig
On-disk lean-agent.toml schema.
ProjectConfig
[project] settings from lean-agent.toml.
ReportConfig
Report settings.
TraceConfig
User-configurable tracing settings.
TraceFileConfig
[trace] settings from lean-agent.toml.