Skip to content

docs: fix stale test commands, dead links, and convert finance README tables to prose #44

docs: fix stale test commands, dead links, and convert finance README tables to prose

docs: fix stale test commands, dead links, and convert finance README tables to prose #44

Triggered via pull request July 7, 2026 14:48
Status Success
Total duration 22s
Artifacts

kani.yml

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