Skip to content
certora-steward

fix : modify GSM signature encoding #52

Sign in to view logs

fix : modify GSM signature encoding

fix : modify GSM signature encoding #52

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

certora-steward.yml

on: pull_request
verify
39s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
certora-run-logs-c49e60b3-483b-4244-9289-7ef5fe015fd2-17383221118
5.93 KB
sha256:6d610432bdd447f55a4a5c1a3c69d0a5aa2f7f66f8315239f23cdc6e168b8839