Skip to content
certora-gho

fix : modify GSM signature encoding #47

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #47

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

certora-gho.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-764e7fdc-26cb-463b-8770-3463bd7c1b8e-17371073223
24.8 KB
sha256:841bd43808ef88ef2d54512ceff726603c2997317c2202be0ab64feabfcd865e