Skip to content
Kani

token-fundraiser: let a maker retire a failed raise and raise again #68

Sign in to view logs

token-fundraiser: let a maker retire a failed raise and raise again

token-fundraiser: let a maker retire a failed raise and raise again #68

Triggered via pull request July 10, 2026 02:58
@mikemaccanamikemaccana
opened #107
claude/solana-fintech-book-toc-rz4lpd
Status Success
Total duration 21s
Artifacts –

kani.yml

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