Rust Lint

Add Kani formal-verification proofs for the finance programs (+ two program hardenings) #404

Sign in to view logs

Triggered via pull request June 30, 2026 20:17

mikemaccana

synchronize #85

claude/escrow-kani-tests-i3q98g

Status Success

Total duration 55s

Artifacts –

rust.yml

on: pull_request