Skip to content

Don't crash when benchmark contains unknown metric (#2985) #88

Don't crash when benchmark contains unknown metric (#2985)

Don't crash when benchmark contains unknown metric (#2985) #88

Triggered via push February 1, 2024 09:44
Status Success
Total duration 10m 39s
Billable time 11m
Artifacts

kani-m1.yml

on: push
Fit to window
Zoom out
Zoom in