Skip to content
Certora verification

Add CLAUDE.md for Claude Code guidance #124

Sign in to view logs

Add CLAUDE.md for Claude Code guidance

Add CLAUDE.md for Claude Code guidance #124

Triggered via pull request July 22, 2025 16:34
@ilikesymmetryilikesymmetry
opened #118
add-claude-md
Status Failure
Total duration 2h 2m 3s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors
verify (ERC4337Account, ERC4337Account.conf --exclude_rule cantInitTwice)
Process completed with exit code 1.
verify (ERC4337Account, ERC4337Account.conf --rule cantInitTwice)
Process completed with exit code 1.