Kani

Replace reserve-and-cap with haircut risk model in perpetual futures #12

Sign in to view logs

Triggered via pull request June 30, 2026 21:08

mikemaccana

synchronize #83

claude/perpetual-futures-risk-model-fuayxj

Status Success

Total duration 23s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify