Skip to content
Kani Metrics Update

Kani Metrics Update #33

Sign in to view logs

Kani Metrics Update

Kani Metrics Update #33

Triggered via schedule August 10, 2025 01:05
@tautschnigtautschnig
⁠ 5473b38
main
Status Success
Total duration 59m 28s
Artifacts –

kani-metrics.yml

on: schedule
update-kani-metrics
59m 22s
update-kani-metrics
Fit to window
Zoom out
Zoom in