Kani

Upgrade litesvm to 0.13.1 and solana-kite to 0.4.0 repo-wide; remove sbpf pin #25

Sign in to view logs

Triggered via pull request July 1, 2026 18:49

mikemaccana

synchronize #93

claude/solana-examples-ci-asm-jb73x0

Status Success

Total duration 21s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify