benchmarks-comment #12

Job	Run time
comment (benchmarks-size, <!-- workflow-benchmarks-size-data -->, workflow: benchmarks/size, Comp...	6s
comment (benchmarks-perf, <!-- workflow-benchmarks-perf-data -->, workflow: benchmarks/perf (nati...	7s
	13s

Provide feedback