Skip to content
certora-gho

fix : modify GSM signature encoding #50

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #50

Triggered via pull request September 1, 2025 16:14
@KogaroshiKogaroshi
synchronize #8
fix/gsm-sig-encoding
Status Success
Total duration 1m 26s
Artifacts 1

certora-gho.yml

on: pull_request
verify
1m 21s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-34f65591-20c0-4fd9-ab90-54006dd35807-17382736353
24.8 KB
sha256:62062f6d13bd8073e0bbe8681d22e1f29015d1d37dba79bc180900d460e09acd