Repository navigation

Kani

Say when to bump the pinned anchor-v2-testing revision #140

Sign in to view logs

Triggered via pull request August 22, 2026 03:58

mikemaccana

opened #134

claude/harness-pin-note

Status Success

Total duration 30s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify