Kani

Kani #85

Sign in to view logs

Triggered via schedule July 20, 2026 07:05

mikemaccana

main

Status Cancelled

Total duration 45m 19s

Artifacts –

kani.yml

on: schedule

Matrix: unit-tests

Matrix: verify

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.