Function print_github_annotations

src/analyse.rs:783–806

Emit GitHub Actions workflow commands for all diagnostics. Each diagnostic is printed as a `::error` or `::warning` line so that GitHub Actions surfaces them as inline annotations on pull request diffs. See:

(file_diagnostics: &[(String, Vec<FileDiagnostic>)])

/// GitHub Actions surfaces them as inline annotations on pull request diffs.
/// See: <https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/workflow-commands-for-github-actions>
fn print_github_annotations(file_diagnostics: &[(String, Vec<FileDiagnostic>)]) {
    for (path, diagnostics) in file_diagnostics {
        for diag in diagnostics {
            let level = match diag.severity {
                DiagnosticSeverity::ERROR => "error",
                DiagnosticSeverity::WARNING => "warning",
                _ => "notice",
            };
            let message = format_github_message(&diag.message);
            let title = diag.identifier.as_deref().unwrap_or("");
            if title.is_empty() {
                println!(
                    "::{level} file={path},line={line},col=0::{message}",
                    line = diag.line,
                );
            } else {
                println!(
                    "::{level} file={path},line={line},col=0,title={title}::{message}",
                    line = diag.line,
                );
            }
        }
    }
}

/// Format a message for GitHub Actions workflow commands.
///