Skip to content
Kani

Kani #167

Sign in to view logs

Kani

Kani #167

Manually triggered January 8, 2025 18:47
@carolynzechcarolynzech
⁠ a343f40
metrics-debug
Status Cancelled
Total duration 23m 57s
Artifacts –

kani.yml

on: workflow_dispatch
Kani List
9m 46s
Kani List
Matrix: check-kani-on-std
Matrix: update-kani-metrics
Fit to window
Zoom out
Zoom in

Annotations

16 errors and 5 warnings
Compute Kani Metrics (partition 1)
The run was canceled by @carolynzech.
Verify std library (partition 3)
The run was canceled by @carolynzech.
Compute Kani Metrics (partition 3)
The run was canceled by @carolynzech.
Verify std library (partition 1)
The run was canceled by @carolynzech.
Compute Kani Metrics (partition 2)
The run was canceled by @carolynzech.
Compute Kani Metrics (partition 4)
The run was canceled by @carolynzech.
Verify std library (partition 4)
The run was canceled by @carolynzech.
Verify std library (partition 2)
The run was canceled by @carolynzech.
Verify std library (partition 1)
The run was canceled by @carolynzech.
Verify std library (partition 1)
The operation was canceled.
Verify std library (partition 4)
The run was canceled by @carolynzech.
Verify std library (partition 4)
The operation was canceled.
Verify std library (partition 3)
The run was canceled by @carolynzech.
Verify std library (partition 3)
The operation was canceled.
Verify std library (partition 2)
The run was canceled by @carolynzech.
Verify std library (partition 2)
The operation was canceled.
Kani List
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compute Kani Metrics (partition 4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compute Kani Metrics (partition 3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compute Kani Metrics (partition 1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compute Kani Metrics (partition 2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636