Skip to content
Kani

prop-amm: retune walkthrough trade to 5 NVDAx to match the book's wallet convention #80

Sign in to view logs

prop-amm: retune walkthrough trade to 5 NVDAx to match the book's wallet convention

prop-amm: retune walkthrough trade to 5 NVDAx to match the book's wallet convention #80

Triggered via pull request July 13, 2026 14:23
@mikemaccanamikemaccana
synchronize #109
claude/solana-fintech-book-toc-rz4lpd
Status Success
Total duration 23s
Artifacts –

kani.yml

on: pull_request
Matrix: unit-tests
Matrix: verify
Fit to window
Zoom out
Zoom in