Repository navigation

Kani

Fix the README's Anchor v1 version and list what is current #161

Sign in to view logs

Triggered via pull request September 8, 2026 18:54

mikemaccana

synchronize #142

claude/anchor-1-2-0-port-8gfvpr

Status Success

Total duration 35s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify