Kani

docs: sharpen top-level README and fix inaccurate test/dependency docs #4

Sign in to view logs

Triggered via pull request June 30, 2026 20:19

mikemaccana

synchronize #88

claude/quicknode-solana-programs-plsus8

Status Success

Total duration 19s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify