Kani

prop-amm: add oracle-quoted proprietary AMM example #72

Sign in to view logs

Triggered via pull request July 11, 2026 01:22

mikemaccana

opened #108

claude/solana-fintech-book-toc-rz4lpd

Status Success

Total duration 20s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify