Skip to content
certora-gho

fix : modify GSM signature encoding #49

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #49

Triggered via pull request September 1, 2025 15:52
@KogaroshiKogaroshi
synchronize #8
fix/gsm-sig-encoding
Status Success
Total duration 1m 25s
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-23edbe02-d27d-417c-bb21-691786b4f372-17382328888
24.8 KB
sha256:d48e69e890407c5dbc34c799133551623c52b592eaea10d9af51c4edc50a1ef4