Skip to content
certora-gho

fix : modify GSM signature encoding #48

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #48

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

certora-gho.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-1ad534b1-1c75-40bc-9983-bd4a102a184e-17371112137
24.8 KB
sha256:06685e4e8023eac0ad2572f51646120e599433f5f0c19736670abc4516d4207d