Skip to content

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

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 #43

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

kani.yml

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