Skip to content
Kani Metrics Update

Kani Metrics Update #24

Sign in to view logs

Kani Metrics Update

Kani Metrics Update #24

Triggered via schedule February 9, 2025 01:17
@carolynzechcarolynzech
⁠ 1b20ae9
main
Status Success
Total duration 10m 39s
Artifacts –

kani-metrics.yml

on: schedule
update-kani-metrics
10m 27s
update-kani-metrics
Fit to window
Zoom out
Zoom in