Skip to content
Pinocchio

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

Sign in to view logs

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

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

Triggered via pull request June 30, 2026 20:17
@mikemaccanamikemaccana
synchronize #85
claude/escrow-kani-tests-i3q98g
Status Success
Total duration 15s
Artifacts –

pinocchio.yml

on: pull_request
changes
4s
changes
Matrix: build-and-test
summary
4s
summary
Fit to window
Zoom out
Zoom in