Kani Metrics Update #4
tautschnigkani-metrics.yml
on: workflow_dispatch
update-kani-metrics
12m 35s
Annotations
1 error
|
update-kani-metrics
Process completed with exit code 1.
|