Skip to content
Kani

Kani #81

Sign in to view logs

Kani

Kani #81

Manually triggered July 14, 2026 13:58
@mikemaccanamikemaccana
⁠ d0ff21d
claude/solana-examples-ci-failures-de67pd
Status Cancelled
Total duration 45m 23s
Artifacts –

kani.yml

on: workflow_dispatch
Matrix: unit-tests
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Kani proofs (prop-amm)
The job has exceeded the maximum execution time of 45m0s
Kani proofs (prop-amm)
The operation was canceled.