Kani

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

Sign in to view logs

Triggered via pull request June 30, 2026 20:17

mikemaccana

synchronize #88

claude/quicknode-solana-programs-plsus8

Status Success

Total duration 21s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify