Skip to content

Add karni proof harness#604

Merged
greatest0fallt1me merged 2 commits into
CalloraOrg:mainfrom
gloskull:add-karni-proof-harness
Jun 29, 2026
Merged

Add karni proof harness#604
greatest0fallt1me merged 2 commits into
CalloraOrg:mainfrom
gloskull:add-karni-proof-harness

Merge pull request #2 from gloskull/add-kani-proof-harness-for-vault.…

1580aab
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 2 warnings
Contract WASM size check
failed Jun 28, 2026 in 18s