Skip to content
Kani Metrics Update

Kani Metrics Update #34

Sign in to view logs

Kani Metrics Update

Kani Metrics Update #34

Triggered via schedule August 17, 2025 01:02
@tautschnigtautschnig
⁠ 5473b38
main
Status Success
Total duration 1h 2m 15s
Artifacts –

kani-metrics.yml

on: schedule
update-kani-metrics
1h 2m
update-kani-metrics
Fit to window
Zoom out
Zoom in