Don't crash when benchmark contains unknown metric (#2985) #6075
kani.yml
on: push
write-json-symtab-regression
12m 27s
benchcomp-tests
4m 7s
perf
28m 3s
bookrunner
15m 31s
Matrix: regression