Как добавить временную метку (дату) к именам экспортированных файлов HTML или CSV BenchmarkDotNet? ⇐ C#

[Anonymous]

Я использую BenchmarkDotNet для запуска тестов производительности в приложении .NET и экспортирую результаты в HTML и CSV с помощью встроенных средств экспорта.
Вот часть моей конфигурации:

Код: Выделить всё

        AddColumnProvider(DefaultColumnProviders.Instance);
var culture = (CultureInfo)CultureInfo.CurrentCulture.Clone();
culture.NumberFormat.NumberDecimalSeparator = ",";
culture.NumberFormat.NumberGroupSeparator = "";

AddExporter(HtmlExporter.Default);

AddExporter(CsvExporter.Default);

WithSummaryStyle(
new SummaryStyle(
cultureInfo: culture,
printUnitsInHeader: true,
printUnitsInContent: false,
timeUnit: Perfolizer.Horology.TimeUnit.Nanosecond,
sizeUnit: null
)
);

WithOptions(ConfigOptions.JoinSummary);

Проблема в том, что BenchmarkDotNet генерирует выходные файлы с фиксированными именами, и каждый новый запуск перезаписывает предыдущие результаты.

Я хотел бы включить временную метку (дату и время) в имена экспортируемых файлов (например: Benchmark_20260515_120000.html), чтобы можно было вести историю моих тестов.

Я видел дискуссии о том, как этого избежать. перезапись результатов (например, проблема № 1074), но я не нашел простого способа автоматического включения отметки времени в имена файлов при использовании экспортеров по умолчанию.