Kani Metrics Update

Kani Metrics Update #7

Sign in to view logs

Manually triggered March 4, 2025 11:50

tautschnig

main

Status Success

Total duration 31m 44s

Artifacts –

kani-metrics.yml

on: workflow_dispatch

update-kani-metrics