Skip to content
certora-gho

fix : modify GSM signature encoding #51

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #51

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

certora-gho.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-2e0b3572-5a7a-4482-add5-eb5ff47aaef8-17383221117
24.8 KB
sha256:9e548811686e9f6cf60e6b0e6bf0ca6e423a7567658da5f6639fa0601b783cab