Skip to content
Quasar

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 13s
Artifacts –

quasar.yml

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