Kani

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

Sign in to view logs

Triggered via pull request June 30, 2026 20:51

mikemaccana

synchronize #88

claude/quicknode-solana-programs-plsus8

Status Success

Total duration 20s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify