David Testé 99082d1473 chore(ci): use name field instead of run_name in benchmark results ...

In case of benchmark_repetitions > 1 using 'run_name' will return
always the same name for a given benchmark case. It won't make the
distinction between the iterations and the aggregated values like
mean, median or stdev. Using 'name' field fix this behavior.

2022-12-20 13:14:44 +01:00

..

benchmark_parser.py

chore(ci): use name field instead of run_name in benchmark results

2022-12-20 13:14:44 +01:00

slab.toml

chore(ci): build compiler from pull request comment with slab

2022-12-06 14:35:17 +01:00