Skip to content
certora-steward

fix: Fix GSM eip712 signature-based functions (#8) #53

Sign in to view logs

fix: Fix GSM eip712 signature-based functions (#8)

fix: Fix GSM eip712 signature-based functions (#8) #53

Triggered via push September 2, 2025 08:06
@miguelmtzinfmiguelmtzinf
pushed e7acb6b
main
Status Success
Total duration 48s
Artifacts 1

certora-steward.yml

on: push
verify
39s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-b3d285f4-b051-495d-a920-0a08bee44a52-17397301649
5.93 KB
sha256:23b044faeb4210d9fdab2aa2319c6a860ee2e7e991996def57a3d8fcd4dd0c79