Repository navigation

Kani

finance: let each market's state account own its vaults #166

Sign in to view logs

Triggered via pull request September 10, 2026 01:58

mikemaccana

opened #145

claude/options-trading-platform-iq6e8m

Status Success

Total duration 56s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify