Kani

Add Quasar port of the order-book (CLOB) example #41

Sign in to view logs

Triggered via pull request July 6, 2026 21:07

mikemaccana

opened #96

claude/quasar-solana-orderbook-port-4mcr6j

Status Success

Total duration 21s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify