Skip to content
certora-gho

fix : modify GSM signature encoding #45

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #45

Triggered via pull request August 28, 2025 12:28
@KogaroshiKogaroshi
synchronize #8
fix/gsm-sig-encoding
Status Success
Total duration 1m 27s
Artifacts 1

certora-gho.yml

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

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-3a477c13-9cd6-4072-a58e-26fd2ff73e25-17295815674
24.8 KB
sha256:a633efc910784cb433768af415b6a6e134d93def45d7d29f737357124d4a0124