Kani

Merge subtree update for toolchain nightly-2025-04-07 #1621

Sign in to view logs

Re-run triggered April 21, 2025 19:50

carolynzech

#329

sync-2025-04-07

Status Cancelled

Total duration 6h 5m 9s

Artifacts –

kani.yml

on: pull_request

Matrix: check-kani-on-std

Annotations

1 error

Verify std library (partition 2)

The job has exceeded the maximum execution time of 6h0m0s