namespace Armada.Server.Mcp
{
    /// <summary>
    /// Arguments containing one structured check-run identifier.
    /// </summary>
    public class CheckRunIdArgs
    {
        /// <summary>
        /// Check-run identifier.
        /// </summary>
        public string CheckRunId { get; set; } = string.Empty;
    }
}
