Repository navigation

Kani

docs: link the Quasar order-book port in the root README index #46

Sign in to view logs

Triggered via pull request July 7, 2026 16:00

mikemaccana

opened #99

claude/orderbook-readme-index

Status Success

Total duration 20s

Artifacts –

kani.yml

on: pull_request

Matrix: unit-tests

Matrix: verify