Skip to content

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

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

Triggered via pull request July 7, 2026 16:31
Status Success
Total duration 24s
Artifacts

kani.yml

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