Skip to content
certora-gho

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

Sign in to view logs

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

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

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

certora-gho.yml

on: push
verify
1m 36s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-10b7d9b5-2688-44e7-8ae3-7f79f914da0a-17397301654
24.8 KB
sha256:c5a6afda6bb510da9534e7cc1d21cc66c84d2297c89fe82f254e3a8126cd037a