Skip to content
Kani Metrics Update

Kani Metrics Update #36

Sign in to view logs

Kani Metrics Update

Kani Metrics Update #36

Triggered via schedule August 31, 2025 00:56
@tautschnigtautschnig
⁠ 5473b38
main
Status Success
Total duration 1h 4m 16s
Artifacts –

kani-metrics.yml

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