Struct ReportFiles 

pub struct ReportFiles {
    pub json_path: String,
    pub markdown_path: String,
    pub lean_diagnostics_json_path: Option<String>,
    pub lean_manifest_path: Option<String>,
    pub three_tier_json_path: Option<String>,
    pub three_tier_markdown_path: Option<String>,
}

Paths written for CI-oriented report summaries.

Fields

json_path: String

markdown_path: String

lean_diagnostics_json_path: Option<String>

lean_manifest_path: Option<String>

three_tier_json_path: Option<String>

three_tier_markdown_path: Option<String>

Trait Implementations

impl Clone for ReportFiles

fn clone(&self) -> ReportFiles

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ReportFiles

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ReportFiles

impl PartialEq for ReportFiles

fn eq(&self, other: &ReportFiles) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ReportFiles