Skip to content
Kani Metrics Update

Kani Metrics Update #2

Sign in to view logs

Kani Metrics Update

Kani Metrics Update #2

Triggered via schedule June 8, 2025 01:17
@patricklampatricklam
⁠ b4f59e8
main
Status Success
Total duration 49m 26s
Artifacts –

kani-metrics.yml

on: schedule
update-kani-metrics
49m 16s
update-kani-metrics
Fit to window
Zoom out
Zoom in